24歳の数学者が挑む、AIで「新しい数学」を生み出す野望

24歳の数学者カリーナ・ホン率いるAxiom Mathが6400万ドルを調達し、新たな数学的知識を創造・証明するAI開発に挑んでいる。MetaやGoogleのトップ人材を集結させ、言語Leanを用いて推論の正しさを保証するシステムを構築。既に難問解決や競技会で実績を上げ、金融や設計など幅広い分野への応用と信頼できるAIの実現を目指している。## 参考記事〇AI startup Axiom gets $64M to develop new knowledge with advanced mathematics(2025年10月2日)https://siliconangle.com/2025/10/02/ai-startup-axiom-gets-64m-develop-new-knowledge-advanced-mathematics/〇Breaking the equation: Female founder secures $64M to teach AI the language of mathematics(2025年10月3日)https://techfundingnews.com/axiom-math-ai-mathematician-64m-seed/〇Who is Carina Hong, the 24-year-old Stanford dropout drawing Big Tech talent to her AI math startup?(2025年12月24日)https://e.vnexpress.net/news/tech/personalities/who-is-carina-hong-the-24-year-old-stanford-dropout-drawing-big-tech-talent-to-her-ai-math-startup-4996995.html〇Toward Mathematical Superintelligence: Why We Invested in Axiom(2025年9月30日)https://b.capital/why-we-invested/toward-mathematical-superintelligence-why-we-invested-in-axiom/#カリーナホン #AxiomMath #数学 #AI #人工知能 #スタートアップ #資金調達 #Lean #自動証明 #ケンオノ #パトナム競技会 #スタンフォード #シリコンバレー #女性起業家 #リャプノフ関数 #科学ニュース #テクノロジー #イノベーション #Meta #GoogleBrain #推論 #アルゴリズム #金融工学 #量子コンピューティング #暗号技術