Start-ups including Axiom Math and Harmonic are attracting hundreds of millions in funding to create AI tools that solve advanced mathematics and verify their own results.
Mathematicians such as Ken Ono have left university posts to join these firms. Ono went on leave from the University of Virginia in 2025 to work at Axiom Math in Palo Alto, California. The company was founded by his former student Carina Hong, who studied at Stanford University.
由 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.