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.

Published 20 Aug 2025
Read full article → ← Back to Reads