IA académica

El Clay Mathematics Institute está revisando una solución de Navier–Stokes generada por IA de OpenAI, dejando en suspenso una reclamación al premio de matemáticas de 1 millón de dólares.

Inherent dice que su agente de IA Faraday superó a sistemas más grandes de Anthropic y OpenAI en la replicación de artículos, destacando modelos más pequeños y agentes centrados en la investigación.

Anthropic está marcando con agua el texto de Claude para cumplir las normas de transparencia de la UE, lo que ha reavivado el debate sobre la detección de IA, el uso en el trabajo, la integridad académica y la privacidad.

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.