OpenAI dice que sus modelos ayudaron a producir diez nuevos resultados de matemáticas y ciencias de la computación teórica, lo que indica un impulso más serio hacia una IA de nivel de investigación.

OpenAI dice que dará acceso gratuito a ChatGPT a 100.000 investigadores académicos, llevando modelos avanzados a los flujos de trabajo y laboratorios científicos.

El modelo abierto Soofi S de Alemania afirma liderar los benchmarks totalmente abiertos en inglés y alemán, mientras sus creadores también revelaron y corrigieron una fuga de datos de prueba.

Mistral AI ha introducido Leanstral 1.5, un modelo agente de código en Lean 4 con licencia Apache-2.0 que, según se informa, resuelve 587 de 672 problemas de PutnamBench.

Científicos logran nuevas demostraciones matemáticas y descubrimientos de agujeros negros usando ChatGPT-5 Pro de OpenAI, indicando un cambio de paradigma en la investigación asistida por IA a pesar de las limitaciones persistentes.