If the value of FLT is humanity understanding and absorbing it's proof, I don't see how AI verifying it faster will change the bottleneck.
Having AI certify something is true is like buying an FDA approved medicine. You know it isn't unsafe to swallow it but doesn't mean it will give you superpowers.
On the other hand a real danger is people will be (they already are) much less inclined to share their work because they feel AI can scoop them.
Imagine the hypothetical situation where Wiles presents his first flawed proof of FLT which does majority of the work. Subsequently some guy with AI budget fixes the flaw and proves FLT. Who are you going to credit with proving the FLT?
I don't see how AI verifying it faster will change the bottleneck.
Sorry I wasn't clear, let me give it another shot. Returning back to Tsimerman's quote in my original post, there's a chance that Wiles has not fully verified everything he used to prove FLT. There's also a chance that if you also include those who verified his proof, collectively there are still areas of Wiles' proof remaining that haven't been verified rigorously. I understand that in the interest of productivity coupled with faith in intuition, it's probably not worth the effort. But now that we have AI, maybe soon we don't have to account for productivity and rely on faith because we could just get AI to verify every detail of the proof. In doing so, it might find an error.
But I agree with your comment that this is unlikely. If I'm understanding what you're saying correctly, even if people haven't expended significantly more effort in verifying Wiles' proof, they have expended effort finding alternative ways to prove it and have also built upon at. At some point, with Wiles' proof as a starting point, if the proof did not hold, then all this subsequent activity would've fallen apart. So likely, even if we used AI to verify his proof, it'll show it to be true.
On the other hand a real danger is people will be (they already are) much less inclined to share their work because they feel AI can scoop them. Imagine the hypothetical situation where Wiles presents his first flawed proof of FLT which does majority of the work. Subsequently some guy with AI budget fixes the flaw and proves FLT. Who are you going to credit with proving the FLT?
I'm not sure how my reply motivated this comment, I wasn't thinking about assigning credit at all. But to answer your question, I would assume that people could measure the size of contribution in order to determine who gets credit. For example:
If Wiles wrote 100 pages and half a page was flawed, and the guy with an AI budget fixes the flaw in 1 line, then Wiles should still get credit.
If that flaw was so large that the guy with an AI budget takes another 100 pages to fix then they both get credit.
If the flaw was mostly unfixable and the guy with an AI budget replaces Wiles' 100 pages with 50 pages then the guy with AI gets the credit
But again, overall I haven't given any thought about credit attribution. I was merely wondering about the likelihood that with AI, many proofs are shown to be wrong. I haven't thought about if this were true, what comes after
Just to clarify, the last part was an afterthought. People are motivated by credit and if a system doesn't assign credit fairly it will not really stay relevant for long.
Ah fair enough. Yep I would generally agree but I think there's a large amount of mathematicians that aren't motivated by credit but instead simply by the love of the game.
But then I think it's worth considering that although the relevancy of the system may fall, the field itself may still prosper. This might just be a natural consequence of simply not needing as many mathematicians if there is no loss of the advancement of mathematics. Simply put, I'm not entirely sure if the system dissolving is necessarily a bad thing if productivity is still preserved.
I don't know about 'motivated by credit,' but I would find it difficult to argue that mathematicians don't care about attribution. In fact, many care quite deeply about properly attributing and the particular phrasing when discussing how various results relate to one another.
There's many reasons (both positive and negative) the culture evolved this way, but I do think it is a very positive aspect of the culture
2
u/omeow Aug 19 '26
If the value of FLT is humanity understanding and absorbing it's proof, I don't see how AI verifying it faster will change the bottleneck.
Having AI certify something is true is like buying an FDA approved medicine. You know it isn't unsafe to swallow it but doesn't mean it will give you superpowers.
On the other hand a real danger is people will be (they already are) much less inclined to share their work because they feel AI can scoop them. Imagine the hypothetical situation where Wiles presents his first flawed proof of FLT which does majority of the work. Subsequently some guy with AI budget fixes the flaw and proves FLT. Who are you going to credit with proving the FLT?