【AI】Claudeがフェルマーの最終定理を11日で形式化、1300万行のLeanコードで初の完全な機械検証済み証明を完成 [すらいむ★]

>>9
アルファ碁に負けた棋士はスポーツとして残ってるが学者もオリンピックくらいならあるかもな
マジでやばすぎ
人間はAIの言うがまま肉体労働するしかなくなる。