Claim: GPT-5-pro can prove new interesting mathematics

25 marcuschong 3 8/20/2025, 7:42:45 PM twitter.com ↗

Comments (3)

drudolph914 · 8m ago
interesting if true, but this isn't the first time we heard of something like this

quanta published an article that talked about a physics lab asking chatGPT to help come up with a way to perform an experiment, and chatGPT _magically_ came up with an answer worth pursuing. but what actually happened was chatGPT was referencing papers that basically went unread from lesser famous labs/researchers

this is amazing that chatGPT can do something like that, but `referencing data` != `deriving theorems` and the person posting this shouldn't just claim "chatGPT derived a better bound" in a proof, and should first do a really thorough check if it's possible this information could've just ended up in the training data

osti · 13m ago
In here https://blog.google/products/gemini/gemini-2-5-deep-think/, the professor google worked with also claimed proving some previously unproven conjecture.
brcmthrowaway · 1h ago
Gamechanger! And worrisome for us laymen.