OpenAI vs. Apple escaleert; Astra lost wiskunde op

Op 4 augustus domineerden twee afzonderlijke verhalen de berichtgeving over OpenAI: een snel escalerende juridische strijd met Apple, en een opvallende wiskundige onderzoeksclaim van het nieuwe Astra-modelfamilie van het bedrijf.

Kernpunten

• Apple heeft een verzoek ingediend voor een voorlopige voorziening tegen OpenAI, om voormalige Apple-medewerkers die nu bij OpenAI werken te beletten vertrouwelijke informatie te gebruiken.
• Apple diende ook een verzoek in voor versnelde discovery, om sneller toegang te krijgen tot relevante documenten.
• OpenAI reageerde publiekelijk en noemde de rechtszaak ongegrond, daarbij stellend dat het documentair bewijs heeft om zijn positie te onderbouwen.
• OpenAI’s Astra-model genereerde machine-verifieerbare bewijzen voor tien langlopende wiskundeproblemen tegen een gerapporteerde compute-kostprijs van $2.000, waarbij het werk op 1 augustus werd gepubliceerd.
• De wiskundige resultaten beslaan groepentheorie, hoog-dimensionale meetkunde, coderingstheorie, kwantumcomplexiteit, traliecryptografie en combinatoriek, waarvan meerdere al tientallen jaren open lagen.

Wat vraagt Apple precies?

In de klacht die Apple in juli indiende, werd gesteld dat voormalige medewerkers die naar OpenAI overstapten vertrouwelijke informatie meenamen en daarmee handelsgeheimen schonden die verband houden met de toekomstige hardwareontwikkeling van het bedrijf. Het verzoek om een voorlopige voorziening zou zowel de genoemde ex-medewerkers als OpenAI zelf verplichten om het gebruik van dergelijke informatie te staken zolang de zaak loopt. Apple wil ook versnelde discovery, wat OpenAI, als dat wordt toegewezen, zou dwingen documenten sneller te overleggen dan bij standaard juridische procedures gebruikelijk is.

Apple stelt dat de concurrentieschade voortdurend en urgent is. Een voorlopige voorziening vereist dat de eiser aannemelijk maakt dat hij waarschijnlijk in het gelijk wordt gesteld en dat er sprake is van onherstelbare schade, een hoge lat. Dat Apple zo vroeg in de procedure hierom vraagt, wijst op vertrouwen in de eigen bewijspositie, of op zijn minst op de wens om snel maximale druk te zetten.

Hoe reageert OpenAI?

OpenAI’s tegenzet was scherp. Het bedrijf ontkende enig wangedrag en verklaarde geen interesse te hebben in Apple’s handelsgeheimen. Cruciaal is dat het aangaf berichten of andere documentatie te hebben om die positie te onderbouwen, en Apple’s klacht als ongegrond bestempelde. De term “has receipts” in de berichtgeving suggereert dat OpenAI van plan is gelijktijdige communicatie als bewijs in te brengen.

Dit is positionering in een vroeg stadium van een rechtszaak, en de publieke uitlatingen van geen van beide partijen mogen worden gezien als indicatief voor de uitkomst. Wat voor investeerders die OpenAI’s beursgang volgen telt: het bedrijf wordt nu geconfronteerd met een spraakmakende juridische procedure tegen een van de grootste technologiebedrijven ter wereld, bovenop de lopende regelgevingsdruk op andere vlakken. Discovery alleen al kan kostbaar en ontwrichtend zijn.

Wat heeft Astra precies gedaan in de wiskunde?

OpenAI publiceerde op 1 augustus een manuscript van 249 pagina’s waarin wordt gesteld dat zijn Astra-model bewijzen genereerde voor tien problemen waarop menselijke wiskundigen al minstens een decennium geen vooruitgang hadden geboekt. De lijst omvat een constructie die het bestaan van niet-sofische groepen bewijst, een weerlegging van Connes’ starheidsvermoeden in de von Neumann-algebratheorie, een verbetering van de bovengrens voor bolpackingdichtheid in hoge dimensies (een grens die al dateerde uit 1978) en drie problemen uit de open vragenlijst van wiskundige Paul Erdős.

De gerapporteerde compute-kostprijs bedroeg $2.000. Nog opmerkelijker dan de prijs is de verificatiemethode. OpenAI voegde aan elk resultaat een machine-verifieerbaar certificaat toe, iets wat in de berichtgeving wordt omschreven als ongekend op deze schaal voor een door AI gegenereerde wiskundeclaim. Dat is van belang omdat machine-geverifieerde bewijzen in principe controleerbaar zijn door onafhankelijke wiskundigen via formele verificatietools, waardoor de ruimte voor de soort onopgemerkte fouten die eerdere AI-wiskundeaankondigingen hebben geteisterd kleiner wordt.

Dit volgt op een resultaat uit mei, waarbij OpenAI een vergelijkbaar redeneermodel gebruikte om een meetkundig vermoeden te weerleggen dat Erdős in 1946 voor het eerst formuleerde. OpenAI gebruikt de naam Astra voor zijn volgende grote modelfamilie en koppelt dat merk zo aan deze onderzoeksresultaten.

Sommige wiskundigen hebben al algemene zorgen geuit over door AI gegenereerd onderzoek dat het vakgebied overspoelt, een kanttekening die de moeite waard is om in gedachten te houden nu de onafhankelijke beoordeling van het manuscript van 1 augustus op gang komt. De claims zijn significant genoeg dat de toetsing intensief zal zijn.

Waarom dit relevant is voor OpenAI’s bredere positie

De twee verhalen trekken in tegengestelde richtingen. De wiskundige resultaten van Astra versterken, als ze de peer review doorstaan, OpenAI’s argument dat frontier AI werkelijk nieuwe wetenschappelijke waarde levert. Dat is een nuttig verhaal voor zowel zakelijke klanten als toekomstige beursmarktinvesteerders. De Apple-rechtszaak voegt daarentegen juridisch en reputatierisico toe op een moment waarop OpenAI al druk bezig is met vragen over zijn bedrijfsstructuur en governance.

Geen van beide ontwikkelingen verandert op een voor de hand liggende manier de kortetermijn bedrijfsfundamenten van OpenAI. Maar beide bevestigen dat het bedrijf tegelijkertijd opereert aan de absolute top van zijn technologische mogelijkheden én in het middelpunt van een groeiend aantal juridische geschillen.