Concept

Proof verification

Inspecting papers and proof files to assess whether claims have executable support.

Nieuws· 1

OpenAI publiceert 722 manuscripten met wiskunderesultaten

Nieuws

5 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.

Verwante concepten

AI-assisted mathematical research· 1

Formal verification· 1

Formele bewijscontrole· 1

Research provenance· 1

Transparantie bij AI-onderzoek· 1

Formal proof verification· 1

Proof reproducibility· 1

Research transparency· 1

AI vendor evaluation· 1

AI-generated mathematics· 1

Reproducibility· 1

Mathematical formalization· 1

Past binnen deze thema's

AI-strategie in de schijnwerpers: machtsstrijd en open alternatieven herdefiniëren de markt

Concentratie en koerswijzigingen in AI: wat dit betekent voor Nederlandse ondernemers

Meta ruilt Llama in voor gesloten Muse Spark

Microsofts AI-expansie en de Nederlandse roep om autonomie

Nederland en de risico's van AI-afhankelijkheid: een wake-upcall van Microsofts koers

Nederlandse organisaties in AI-spagaat: innovatie omarmen met behoud van digitale regie