TechCrunch

| Compañías | Modelos de Lenguaje |

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

Actualizado hace 3 semanas

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 semanas
Cargando