【ナゾロジー】数学の難問はAIの「性能試験のついで」に解かれていた──722本の論文が一挙公開 [すらいむ★]

>>42
フェルマーは、フェルマーが使っていた無限降下法で証明できたと勘違いしたのだと言われている。
実際には無限降下法で証明できる内容ではなく、結局証明が完了したのは２０世紀だった。