Persoon

Neil Sutherland

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

Het onderpand van de AI-bouw is niet de chip, maar het contract

Signaal

7 min

26 aug 21:46

Het onderpand van de AI-bouw is niet de chip, maar het contract

Banken en verzekeraars financieren AI-rekenkracht niet meer op de chip, maar op het langlopende afnamecontract eronder. Dat verandert wat er in een inkoopgesprek over capaciteit werkelijk op tafel ligt.

Indirect gerelateerd