Startups som Axiom Math och Harmonic lockar hundratals miljoner i finansiering för att skapa AI-verktyg som löser avancerad matematik och verifierar sina egna resultat.
Matematiker som Ken Ono har lämnat universitetsanställningar för att ansluta sig till dessa företag. Ono tog tjänstledigt från University of Virginia 2025 för att arbeta på Axiom Math i Palo Alto, Kalifornien. Företaget grundades av hans tidigare student Carina Hong, som studerade vid Stanford University.
Rapporterad av AI Bild genererad av 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.
Rapporterad av 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.
Rapporterad av 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.