IA académique

Le Clay Mathematics Institute examine une solution de Navier–Stokes générée par l’IA d’OpenAI, mettant en attente une demande de récompense mathématique d’un million de dollars.

Inherent affirme que son agent IA Faraday a surpassé les systèmes plus grands d’Anthropic et d’OpenAI dans la réplication d’articles, mettant en avant des modèles plus petits et des agents axés sur la recherche.

Anthropic appose un filigrane sur le texte de Claude pour répondre aux règles de transparence de l’UE, suscitant un débat sur la détection de l’IA, l’usage en entreprise, l’intégrité académique et la vie privée.

OpenAI affirme que ses modèles ont aidé à produire dix nouveaux résultats en mathématiques et en informatique théorique, signalant une avancée plus sérieuse vers une IA de niveau recherche.

OpenAI indique qu’elle donnera un accès gratuit à ChatGPT à 100 000 chercheurs universitaires, étendant des modèles avancés aux flux de travail et aux laboratoires scientifiques.

Le modèle ouvert allemand Soofi S revendique les meilleurs scores de benchmark entièrement ouverts en anglais et en allemand, tandis que ses créateurs ont également révélé et corrigé une fuite de données de test.

Mistral AI a présenté Leanstral 1.5, un modèle d’agent de code Lean 4 sous licence Apache-2.0 qui résout, selon les sources, 587 des 672 problèmes de PutnamBench.

Des scientifiques obtiennent de nouvelles démonstrations mathématiques et des découvertes de trous noirs en utilisant ChatGPT-5 Pro d'OpenAI, signalant un changement de paradigme dans la recherche assistée par l'IA malgré des limitations persistantes.