Organisatie

Massachusetts Institute of Technology

Relevante artikelen

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.

Indirect gerelateerd

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.

Indirect gerelateerd

Ook vaak samen genoemd

Onderwerpen die vaak samen met Massachusetts Institute of Technology voorkomen, ook zonder een vastgelegd verband. Open de gedeelde verhalen voor de context.

OpenAI· 2

OpenAI math repository· 2