A OpenAI diz que seus modelos ajudaram a produzir dez novos resultados em matemática e ciência da computação teórica, sinalizando uma investida mais séria em IA de nível de pesquisa.

A OpenAI diz que dará acesso gratuito ao ChatGPT a 100.000 pesquisadores acadêmicos, levando modelos avançados para fluxos de trabalho científicos e laboratórios.

O modelo aberto alemão Soofi S reivindica os melhores resultados em benchmarks totalmente abertos em inglês e alemão, enquanto seus criadores também revelaram e corrigiram um vazamento de dados de teste.

A Mistral AI apresentou o Leanstral 1.5, um modelo de agente de código Lean 4 com licença Apache-2.0 que, segundo relatos, resolve 587 dos 672 problemas do PutnamBench.

Cientistas alcançam novas provas matemáticas e descobertas de buracos negros usando o ChatGPT-5 Pro da OpenAI, sinalizando uma mudança de paradigma na pesquisa assistida por IA, apesar das limitações contínuas.