Axiom、Stacks Projectの形式検証を完了

1. 01:16
   TechCrunch AI

   Axiom Math、数学からAIスロップを遠ざける取り組みを発表

   Axiom Mathは、人間が書いた最大級の数学文献の一つであるStacks Projectを形式検証したと発表した。同社のAIエージェントが約7,654ページの内容を約1,600万行のLeanコードに変換し、コンピュータによる検証を行った。Stacks Projectは2005年にJohan de Jongがオープンソースの参照資料として始めたもので、代数幾何を含む分野をカバーする。同社は3月に2億ドルのシリーズAを調達し、Menlo Venturesが主導した。

現在の注目度 8·比較可能なピーク 10（11月6日 02:00）·24時間の比較可能な増減 –

推移は、継続的かつ完全に観測できたアカウントのみを比較しているため、現在の注目度の数値より範囲が狭くなる場合があります。ポインターを動かすかグラフをタップすると、1時間ごとの注目度を確認できます。キーボードでは左右の矢印キーを使います。