Clay Institute revisa a solução de Navier–Stokes gerada por IA da OpenAI
O Clay Mathematics Institute está revisando uma solução de Navier–Stokes gerada por IA da OpenAI, colocando em espera uma reivindicação de prêmio matemático de US$ 1 milhão.
IA acadêmica
Últimas Notícias e Análises sobre IA acadêmica
IA acadêmica
A Inherent diz que seu agente de IA Faraday superou Anthropic e OpenAI na replicação de pesquisas
A Inherent diz que seu agente de IA Faraday superou sistemas maiores da Anthropic e da OpenAI na replicação de artigos, destacando modelos menores e agentes focados em pesquisa.
A política de marca d’água do Claude da Anthropic gera debate sobre uso no trabalho e na sala de aula
A Anthropic está marcando o texto do Claude com uma marca d’água para cumprir as regras de transparência da UE, gerando debate sobre detecção de IA, uso no trabalho, integridade acadêmica e privacidade.
A OpenAI diz que seus modelos contribuíram para dez novos resultados em matemática e ciência da computação teórica
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.
OpenAI oferece acesso gratuito ao ChatGPT a 100.000 pesquisadores acadêmicos em movimento para ampliar o uso de IA na ciência
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.
Consórcio alemão apresenta o Soofi S, um modelo aberto de 30B voltado à eficiência em long context e a um desempenho mais forte em alemão
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.
Mistral AI apresenta Leanstral 1.5, um modelo aberto de prova de teoremas em Lean 4 voltado para fluxos de trabalho de matemática formal
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.
Descobertas científicas impulsionadas por IA entram em nova era com o ChatGPT-5 Pro
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.
Anúncios