Een autodidactische arts en een 16 uur durende AI-sessie hebben een van de open problemen in de toegepaste wiskunde opgelost.
In het kort
Een neurochirurg uit Peking gebruikte GPT-5.6 om een 20 jaar oud wiskundig vermoeden te bewijzen, wat een verschuiving aangeeft in wie onderzoek kan produceren en verifiëren.
Shanmu Jin, postdoctoraal onderzoeker en neurochirurg in opleiding aan het Peking Union Medical College Hospital in Beijing, heeft het vermoeden van Crouzeix bewezen – een probleem in de matrixanalyse dat al meer dan twee decennia onopgelost was gebleven. Het doorslaggevende argument kwam niet voort uit een wiskundeafdeling: het dook op tijdens een 16 uur durende autonome simulatie. GPT-56 Sol binnen ChatGPT Werkmodus, geleid door een zorgvuldig ontworpen prompt die Jin zelf heeft ontwikkeld.
Jin benaderde het probleem via een niet-lineair pad. Zijn bacheloropleiding was in de geologie; later behaalde hij een medische graad en bouwde hij zijn wiskundige kennis op door zelfstudie, aanvankelijk gemotiveerd door onderzoek naar transcraniële echografie. Het vermoeden van Crouzeix, geformuleerd in 2004, betreft de relatie tussen de spectrale norm van een matrix en het maximum van een polynoom over het numerieke bereik ervan — een compact convex gebied in het complexe vlak dat meer van het gedrag van een matrix weergeeft dan alleen de eigenwaarden. De oplossing ervan heeft directe toepassingen in de analyse van matrixfuncties, iteratieve oplossers zoals GMRES en rationele Krylov-methoden.
In plaats van het model interactief aan te sturen, voerde Jin een uitgebreide autonome sessie uit met behulp van een promptarchitectuur die was aangepast van een eerdere sessie. OpenAI Dit model was ontwikkeld voor een eerder wiskundig resultaat, de Cycle Double Cover-conjectuur. De opzet ontzegde het model internettoegang. Het zette concurrerende subagenten in die de taak hadden om onafhankelijk verschillende bewijsstrategieën te ontwikkelen en te testen, met expliciete instructies tegen voortijdige convergentie en de eis om kandidaat-argumenten alleen te falsificeren door middel van concrete tegenvoorbeelden. Het model moest doorgaan totdat een volledig bewijs de interne kritische toetsing had doorstaan. De resulterende preprint, gepubliceerd op 27 juli 2026, bevat de volledige prompt, opeenvolgende conceptmanuscripten, een Lean-formalisering en een axioma-audit.
Peerbevestiging en de vraag wie er tegenwoordig nog wiskunde beoefent.
Het bewijs is beoordeeld en bevestigd door Cornell-wiskundige Alex Townsend, numeriek analist Anne Greenbaum en Michel Crouzeix zelf – de oorspronkelijke auteur van het vermoeden. De formele collegiale toetsing is nog gaande. Acht dagen na de eerste preprint publiceerden de wiskundigen Emiel Lorist en Felix Schwenninger een onafhankelijk bewijs van vijf pagina's met behulp van een andere methode, waarbij ze de klassieke dubbellaagpotentiaaltheorie combineerden met een perturbatielemma voor 2-dilataties. Jin verwelkomde het parallelle resultaat als een aanvulling op zijn eigen werk.
Deze episode maakt een structurele verschuiving in wiskundig onderzoek zichtbaar die moeilijk te negeren is. Wanneer een probleem dat sinds 2004 onopgelost is, wordt opgelost door een autodidactische arts met behulp van een AI-tool voor consumenten, worden de drempels voor het produceren van nieuwe resultaten aanzienlijk verlaagd – terwijl de expertise die nodig is om die resultaten te verifiëren, navenant geconcentreerder en waardevoller wordt.
Voor het AI-veld biedt deze casus een concrete demonstratie van wat grensverleggende taalmodellen kunnen bereiken wanneer ze goed gestructureerde, autonome taken en voldoende rekentijd krijgen. Of de wiskundige gemeenschap over de infrastructuur beschikt om de hoeveelheid resultaten die hieruit mogelijk voortvloeit te verwerken, blijft een open vraag.
Disclaimer
In lijn met de Richtlijnen voor vertrouwensprojectenHoud er rekening mee dat de informatie op deze pagina niet bedoeld is en niet mag worden geïnterpreteerd als juridisch, fiscaal, beleggings-, financieel of enige andere vorm van advies. Het is belangrijk om alleen te beleggen wat u zich kunt veroorloven te verliezen en onafhankelijk financieel advies in te winnen als u twijfels heeft. Voor meer informatie raden wij u aan de algemene voorwaarden en de hulp- en ondersteuningspagina's van de uitgever of adverteerder te raadplegen. MetaversePost streeft naar nauwkeurige, onpartijdige berichtgeving, maar de marktomstandigheden kunnen zonder voorafgaande kennisgeving worden gewijzigd.
Over de auteur
Alisa, een toegewijd journalist bij de MPostis gespecialiseerd in crypto, AI, investeringen en het brede domein van Web3. Met een scherp oog voor opkomende trends en technologieën levert ze uitgebreide berichtgeving om lezers te informeren en te betrekken bij het steeds evoluerende landschap van digitale financiën.
Meer artikelen
Alisa, een toegewijd journalist bij de MPostis gespecialiseerd in crypto, AI, investeringen en het brede domein van Web3. Met een scherp oog voor opkomende trends en technologieën levert ze uitgebreide berichtgeving om lezers te informeren en te betrekken bij het steeds evoluerende landschap van digitale financiën.
