人工知能が深い数学の世界に本格参入！
Anthropicは、Claude AIのエージェントが、Lean言語を用いて、11日間でフェルマーの最終定理の最初の計算可能な完全な草案を達成したと発表しました。
🤯このプロジェクトは約1300万行のLeanコードを生み出し、30,000以上の補助定理を証明し、そのうち約29,500を最終証明に使用しました。
ここで興味深いのは、有名な数学問題を解いたことだけではありません。AIが複雑な数学の証明を、コンピュータが手順ごとに検証できる形式へと変換できるようになったのです。
これは新しい時代の始まりかもしれません。AIはコードを書くばかりではなく…数学そのものの検証を支援します。
$VIRTUAL $RENDER $TAO
#AI #Anthropic #Technology #crypto