#lean

Navier-Stokes opgelost door AI? Wiskundigen willen bewijs zien

OpenAI claimt dat 10.000 AI-agents in 88 uur een millenniumprobleem kraakten. Het bewijs staat online. Waarom vakgenoten toch op de rem trappen.