Very interesting that the vast majority of proofs formalized by AI (section 6) w... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		pama 45 days ago \| parent \| context \| favorite \| on: “Erdos problem #728 was solved more or less autono... Very interesting that the vast majority of proofs formalized by AI (section 6) were only completed in the last few months. Exciting times ahead!

somecontext 45 days ago [–]

See https://xenaproject.wordpress.com/2025/12/05/formalization-o... for a blog post about that.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact