Stacks Project に関するニュース

Axiom Math：AIが生成する数学証明の「検品係」

AIが大量の数学証明を生成する時代において、スタートアップのAxiom Mathは形式化検証技術を用いてAIによる証明をAIで検証するという新たなアプローチを打ち出している。代数幾何学の大規模プロジェクト「Stacks Project」の検