3 ms·
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 announceme
by data_maan 2y ago
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 2y agoThey won't publish the problem set for obvious reasons. And I doubt it's hot air, given the mathematicians involved in creating it.