alt Hacker News"The effort succeeded when we switched to using Prove2Me, an open collaborative platform for formalizing mathematics designed by Tianyi Peng and his collaborators at Columbia University."
So in the end, it required tooling crafted by humans.
Replies
educasean • yesterday at 9:37 PM
By this standard, no computer has ever accomplished anything, because humans built the computer. AI bubble about to burst any second now.
➕ show 1 reply
There's nothing about prove2me that couldn't have been coded just like any other huge coding project frontier models have proven themselves extremely good at doing. It just happened to have been made by humans.