Axiom MathやHarmonicをはじめとするスタートアップ企業が、高度な数学の問題を解き、自らその結果を検証するAIツールを開発するため、数億ドルの資金を調達している。
ケン・オノ（Ken Ono）氏のような数学者が、大学の職を辞してこうした企業に加わっている。オノ氏は2025年にバージニア大学を休職し、カリフォルニア州パロアルトにあるAxiom Mathで働くことになった。同社は、スタンフォード大学で学んだ彼の元教え子であるカリーナ・ホン（Carina Hong）氏が設立した。
AIによるレポート AIによって生成された画像
Nearly 1,000 developers gathered in Miami Beach for the EasyA Hackathon at Consensus Miami 2026, building AI-native projects focused on autonomous payments, drones, and consumer apps. The event highlighted a shift toward practical AI and blockchain applications.
Researchers gathered in London this week to accelerate the formalization of Fermat's Last Theorem using advanced AI models. The workshop focuses on converting Andrew Wiles's 1993 proof into Lean code for computer verification. Progress has been rapid, with code lines doubling after the first day.
AIによるレポート
A Harvard mathematician has used artificial intelligence to disprove a long-standing problem in algebra that experts had spent decades trying to prove true. Levent Alpöge announced the finding on social media on 19 July with a short counterexample.
Demis Hassabis highlighted Google's work using artificial intelligence to advance medical treatments during a recent keynote address. The CEO of Google DeepMind and Isomorphic Labs focused on projects targeting cancer and immune disorders.
AIによるレポート
Anthropic submitted confidential paperwork for an initial public offering on Monday. The move positions the AI company behind Claude as one of several major tech firms preparing to go public this year.