🔬非公式AIを超えるスケーリング - Carina Hong, Axiom Math

創業7か月のスタートアップAxiomが、名門数学試験Putnamで満点を達成し、検証型AIの力を示しました。CEOのCarina Hong氏は、Leanを使った形式的検証によって知能のスケーリングと複利効果が可能になり、非公式AIのボトルネックを克服できると説明します。Verinaベンチマークで99%のスコア（OpenAI o3は4.9%）を達成し、AGI実現への鍵となる可能性があります。