AI kan nu echte wetenschap bedrijven. De prijs van doorbraken is zojuist gedaald.

Het volgende model van OpenAI, Astra, heeft zojuist tien wiskundige problemen opgelost die experts al minstens een decennium niet konden kraken — sommige veel langer. Dit is geen AI die samenvat wat ze uit boeken heeft geleerd. AI kan nu resultaten produceren die eerder niet bestonden. Dat is een echte verschuiving.

De problemen kwamen uit de diepere wiskunde: hoe pak je bollen zo dicht mogelijk in duizend dimensies? Hoe maak je bepaalde soorten versleutelingscodes efficiënter? Astra loste alle tien op voor ongeveer $2.000 aan rekentijd — ongeveer wat een klein bedrijf per maand aan software-abonnementen uitgeeft. Elke oplossing staat gepubliceerd in een document van 249 pagina's op GitHub, waarbij elke bewijsstap door een machine is gecontroleerd met een tool genaamd Lean 4. Een computer heeft elke regel geverifieerd.

De kosten zijn het echte verhaal. Tim Gowers, een wiskundige die de hoogste prijs in zijn vakgebied heeft gewonnen, zou één van de bewijzen aanbevelen voor een toptijdschrift. Dat soort expertkwaliteit betekent normaal jaren werk van een klein gespecialiseerd team. $2.000 voor tien onderzoeksdoorbraken is een getal dat verandert hoe je denkt over kenniswerk. Sectoren die al afhankelijk zijn van formele verificatie — chipdesign, cryptografie, veiligheidssoftware — kunnen die controles nu automatisch uitvoeren.

Het gaat er niet om dat AI onderzoekers zal vervangen. Het gaat erom dat AI nu kan helpen antwoorden te vinden die nog geen mens had gevonden. Als uw bedrijf afhankelijk is van R&D — in elk vakgebied waar het telt om gelijk te hebben én dat te kunnen bewijzen — is de prijs van ontdekking dramatisch gedaald. Begin nu na te denken over waar AI past in uw onderzoeksproces, niet nadat een concurrent dat al heeft gedaan.