Concept

Versiebeheer van onderzoek

Het vindbaar houden van oude manuscriptversies en wijzigingen.

Nieuws· 2

OpenAI geeft drie AI-claims elk een andere toetsingsroute

Nieuws

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

OpenAI trekt drie wiskundemanuscripten in na tekenfout

Nieuws

5 min

9 okt 02:12

OpenAI trekt drie wiskundemanuscripten in na tekenfout

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.