Discovering New Theorems via LLMs with In-Context Proof Learning in Lean