科学とブレイクスルー
Lean
現状
この話題について、編集部は日付のあるメモをまだ置いていません。
AxiomのAIエージェントが有限単純群の分類をLeanで形式化
Axiomは2026年10月26日、AIエージェントが有限単純群の分類をLeanで形式化し、24日間で4310万行を記述したと発表した。
トピックは記事に既についているタグです。二つ以上の記事が使うとき、ここに出ます。
質問
このページには何がありますか？
このページは lean のタグが付いた記事を 2 本並べています。
現状は？
この話題について、編集部は日付のあるメモをまだ置いていません。
出典はどこですか？
各記事が、使った出典へリンクしています。