Nieuws5 min
7 okt 02:11
OpenAI publiceert 722 manuscripten met wiskunderesultaten
OpenAI zet 722 manuscripten uit een intern AI-model online. De GitHub-repository bundelt ze in 372 resultatfamilies en koppelt een deel aan formele Lean-bewijzen, met duidelijke grenzen aan wat al gecontroleerd is.
Belangrijk
Scientific American
GitHub
OpenAI
Lean Language Reference
Meta AI Research
The Verge
Advisory Group on Mathematics and AI