Archivo de la etiqueta: razonamiento matemático
Modelo Astra OpenAI: IA resuelve diez problemas matematicos con Lean
El nuevo modelo Astra OpenAI ha logrado resolver diez problemas abiertos de matematica y ciencia mediante pruebas formales en Lean, marcando un hito en la inteligencia artificial. Sigue leyendo
GPT-5.4 Pro de OpenAI: El modelo que resolvió el enigma matemático de Erdős
El nuevo GPT-5.4 Pro de OpenAI logró resolver un problema histórico de la teoría de Erdős en tiempo récord, marcando un hito en la inteligencia artificial y las matemáticas contemporáneas. Sigue leyendo