Le problème du prix du millénaire Navier-Stokes résolu par IA
OpenAI publie une solution générée par IA à l'un des sept problèmes du millénaire, avec preuve formelle en Lean.
Le marché est dominé par la sortie de DeepSeek v4.1 Flash, plus rapide et économique. Le débat sur l'impact réel de l'IA dans le quotidien et l'usage de l'intelligence artificielle en mathématiques structure par ailleurs les discussions.
LIRE LE TOP SIGNAL →OpenAI publie une solution générée par IA à l'un des sept problèmes du millénaire, avec preuve formelle en Lean.