広場
フォロー
注目
ニュース
プロフィール
ポスト
投稿
Marcinthematrix
2026-09-05 16:43:33
速報：AnthropicのClaudeがLeanでフェルマーの最終定理を初めてコンピューター検証可能な形で形式化し、350年間続いた問題に終止符を打った。
原文表示
このページには第三者のコンテンツが含まれている場合があり、情報提供のみを目的としております（表明・保証をするものではありません）。Gateによる見解の支持や、金融・専門的な助言とみなされるべきものではありません。詳細については
免責事項
をご覧ください。
1
2.29k
コメントを追加
コメント
コメントを追加
コメント
コメント
CrossChainHauler
21時間前
350年来の難問がAIによって解決され、数学史が書き換えられることになる。
0
0
原文表示
LiquidationLurker
1日前
フェルマーの小さなメモからAIによる形式証明まで、技術の進歩の速さには目がくらむ——次の350年はどうなるのだろう？
0
0
原文表示
VolatilityOfToastingBread
1日前
Claudeの今回の対応はあまりにも本格的で、Leanによる検証は反論の余地がないことを意味する。
0
0
原文表示
QuantSquirrel
1日前
初回レビュー
将来、数学者は失業するでしょうか？ いいえ、彼らはより大きな予想を証明しに行くことができます。
0
0
原文表示
人気の話題
#
Gate60MillionUsers
31.51M 人気度
#
BTCReclaims80K
320.29M 人気度
#
IsraelStrikesIranBTCPlunges
92.01K 人気度
#
HYPEBreaks88HitsNewAllTimeHigh
10.92M 人気度
#
GateEventContractTradeSharingChallenge
258.42K 人気度
もっと見る
サイトマップ
速報：AnthropicのClaudeがLeanでフェルマーの最終定理を初めてコンピューター検証可能な形で形式化し、350年間続いた問題に終止符を打った。