AI-vooruitgang in de wiskunde delen

OpenAI publiceert nieuwe resultaten van een intern frontiermodel over open wiskundige problemen en deelt Lean-bewijsformalismen en onderzoeksdetails op GitHub.

Taal van de oorspronkelijke bron · Engels

Gecontroleerd · 10 oktober 2026