Claim: GPT-5-pro can prove new interesting mathematics
📰 Hacker News · marcuschong
Claim: GPT-5-pro can prove new interesting mathematics. 150 comments, 256 points on Hacker News.
Claim: GPT-5-pro can prove new interesting mathematics. 150 comments, 256 points on Hacker News.