Axiom Quant

Axiom Quant（通称Axiom Math）は、数学に特化した人工知能の研究開発を行うスタートアップ企業である。従来の大規模言語モデルが抱える推論の不確実性やハルシネーションという課題に対し、数学的な厳密さと論理的証明を重視したアプローチで挑んでいる。同社は、単に既存の数学問題を解くだけでなく、自律的に新しい数学的問題を生成し、それを検証可能な証明と共に提示できるシステムの構築を目指している。共同創業者のCarina Hong氏とShubho Sengupta氏を中心に、数学とAIのトップクラスの研究者が集結しており、Leanなどの証明支援システムを活用した独自の学習手法を採用している。この技術は、金融、航空宇宙、半導体設計、ソフトウェア検証など、極めて高い信頼性が求められるクリティカルな領域への応用が期待されている。