Why hasn’t OpenAI figured out the abc conjecture yet? I remember a few years ago Mochizuki was fighting with Scholze-Stix about how they just didn’t understand him even though Scholze was a Fields medalist. Can’t ChatGPT frontier models just settle this? they already did a lot other presumably more difficult stuff than just to check one previously-claimed proof. right?
>>17082433Mochizuki is a great mathematician.I would be appalled if OpenAI violates his masterpiece by formally verifying it.