News for hackers. Stuff that matters.

A comment on AI Isn't Outthinking Mathematicians. It's Out-Remembering Them. Parent comment

Re:AI Isn't Outthinking Mathematicians. It's Out-Remembering... by Reubend on Saturday August 15, 2026 @04:02PM (#49313802)
For that particular example, it's now been proved that Mochizuki's proof is incomplete: https://zeli.app/en/story/48963019

I guess whether he will eventually fix those gaps and resolve the issues remains to be seen.

[ Parent | on HN ]

There are no comments on this comment yet.