Most recentSep 11, 2026, 01:07modern AI can be used to generate formal lean proofs: scientificamerican.com/…/what-happens-when-ai-sta… lemmy.world/post/50205770
OriginalSep 11, 2026, 01:07mathematicians are using AI to generate formal lean proofs: scientificamerican.com/…/what-happens-when-ai-sta… lemmy.world/post/50205770