Mathematical problem-solving

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.

OpenAI zegt dat een intern model in minder dan een maand meer dan honderd langlopende wiskundeproblemen oplost. De nieuwe adviesgroep helpt bij beoordeling en verspreiding, maar stuurt het onderzoekstempo niet.