OpenAI zet 722 AI-wiskundebewijzen online: wie gaat ze controleren?
Een intern OpenAI-model leverde 722 wiskundige manuscripten, van π tot de quasi-Riemannhypothese. Wat er precies op GitHub staat en waarom wiskundigen morren.
Tag
#lean
2 artikelen
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.