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 4 months 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 4 months 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