Nieuws5 min
27 okt 02:17
OpenAI geeft drie AI-claims elk een andere toetsingsroute
OpenAI meldt drie AI-resultaten en geeft wiskunde, informatica en natuurkunde elk een eigen route voor academische toetsing. De ETH-claim staat in Lean, maar onafhankelijke beoordeling moet nog volgen.
Belangrijk
Advisory Group on Mathematics and AI
GitHub
Meta AI Research
OpenAI
Lean Language Reference
Wikimedia Commons
Hindustan Times
The Next Web
The Verge