Axiomは6か月前に一つの確信を持って立ち上げられました。それは、数学こそが論理的なシステムを構築するための正しい基盤であるということです。 本日、私たちはAxiomのシリーズAを発表します。 私たちは16億ドル+の評価額で2億ドルを調達し、@MenloVenturesが主導し、形式数学でのリードを検証AIに拡大しました。

1/ 軸の解放:アクシオムリーンエンジン ⚙️ 私たちは大規模な正式な証明のためにコアインフラを稼働させています。 これらはAxiomProverの背後にあるリーンメタプログラミングツールと同じであり、Putnamを勝ち取り、研究の予想を解き明かす原動力となっています。 今日、誰でもご利用いただけます!

1/ AxiomProverは、数的半群のシジジーに関するフェルの未解決の予想を解き、人間の指導がゼロのリーンで自律的に形式的証明を生成しました。 これはAIシステムが理論構築数学における未解決の研究課題を解決し、自己検証を行う初めてのケースです。