Start-ups de IA contratan a matemáticos para construir sistemas verificables

Español

Empresas emergentes como Axiom Math y Harmonic están atrayendo cientos de millones en financiación para crear herramientas de IA que resuelvan problemas matemáticos avanzados y verifiquen sus propios resultados.

Matemáticos como Ken Ono han dejado sus puestos universitarios para unirse a estas firmas. Ono solicitó una excedencia en la Universidad de Virginia en 2025 para trabajar en Axiom Math, en Palo Alto, California. La empresa fue fundada por su antigua alumna Carina Hong, quien estudió en la Universidad de Stanford.

Artículos relacionados

A bustling crowd of developers at an AI and blockchain hackathon in Miami Beach, building innovative projects with AI agents and drones.
Imagen generada por IA

AI agents spark startup frenzy at consensus miami hackathon

Reportado por IA Imagen generada por IA

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.

Mathematicians advance Fermat's Last Theorem formalization with AI

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 finds counterexample disproving 87-year-old math conjecture

Reportado por IA

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.

Asia

Chinese start-up launches physics-based AI world model

Science

Computer formalisation of ABC conjecture proof stalls

Technology

AI trainers use chatbots to complete model tasks

Demis Hassabis spotlights ai for cancer research at google io

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.

Anthropic confidentially submits filing for IPO

Reportado por IA

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.

8 de julio de 2026 17:52

Paradigm raises $1.2 billion fund for AI and robotics

1 de julio de 2026 16:31

Japan plans investment in sovereign AI model

15 de junio de 2026 07:07

Startup develops versatile robot AI for diverse household tasks

30 de mayo de 2026 10:01

AI solved 80-year-old math problem

28 de mayo de 2026 03:56

Anthropic raises $65 billion, surpassing OpenAI valuation

17 de mayo de 2026 08:30

Companies provide ai credits for employees to test tools

5 de mayo de 2026 03:11

Anthropic reportedly agrees to pay Google $200 billion over five years

2 de mayo de 2026 04:54

Meta acquires robotics AI startup Assured Robot Intelligence

Este sitio web utiliza cookies

Utilizamos cookies para análisis con el fin de mejorar nuestro sitio. Lee nuestra política de privacidad para más información.
Rechazar