Reproducibility

Een tekenfout maakt de bewijsconstructie in één OpenAI-paper ongeldig en raakt twee afhankelijke manuscripten. De repository meldt daarnaast reparaties in 14 andere papers en bijgewerkte verwijzingen in 13 meer.

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.