They didn't demonstrate anything. They haven't even released their dataset, nor ... | Hacker News

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

		data_maan 11 months ago \| parent \| context \| favorite \| on: AlphaProof's Greatest Hits They didn't demonstrate anything. They haven't even released their dataset, nor mentioned how big it is. It's just hot air, just like the AlphaProof announcement, where very little is know about their system.

n4r9 11 months ago [–]

They won't publish the problem set for obvious reasons. And I doubt it's hot air, given the mathematicians involved in creating it.

Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact