TechCrunch

| Compañías | Modelos de Lenguaje |

Harmonic lanza chatbot de IA especializado en matemáticas sin errores

Actualizado hace 3 meses

La startup Harmonic presenta 'Aristotle', un chatbot de IA que garantiza respuestas verificadas en matemáticas, física y estadística, usando el lenguaje Lean....

TechCrunch

| Compañías | Modelos de Lenguaje |

Harmonic lanza chatbot de IA especializado en matemáticas sin errores

Actualizado hace 3 meses

TechCrunch

| Compañías | Investigación |

IA de OpenAI y Google superan a humanos en Olimpiada Matemática

Actualizado hace 3 meses

Los modelos de OpenAI y Google DeepMind obtuvieron medalla de oro en la IMO 2025, resolviendo 5 de 6 problemas sin ayuda humana, superando a la mayoría de participantes....

TechCrunch

| Compañías | Investigación |

IA de OpenAI y Google superan a humanos en Olimpiada Matemática

Actualizado hace 3 meses
Cargando