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 1 day 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 1 day 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