Op 24 juli onthulde Deng Yu, winnaar van de Fields Medal 2026 en professor aan de Universiteit van Chicago, onlangs in een interview:Hij gebruikt AI-hulpmiddelen bij wiskundig onderzoek,GPT heeft ooit geholpen bij het oplossen van een speciaal wiskundig geval dat enkele dagen lang niet doordrong.
Deng Yu zei dat zijn gevoel bij het gebruik van AI is dat "het veel onderzoekskoppelingen een stuk handiger heeft gemaakt." Voor enkele eenvoudige conclusies waarvan het in principe zeker is dat ze waar zijn, zal hij AI bewijzen laten geven en deze vervolgens controleren; AI kan soms kennis aanvullen die hij niet kent, zoals bestaande structuren of standaardconclusies die overeenkomen met een bepaald combinatorisch telprobleem.
Deng Yu onthulde dat er in een recent werk een speciaal geval van een hoofdstelling was die hij meerdere dagen achter elkaar niet kon oplossen. GPT gaf een heel eenvoudig bewijs en loste het speciale geval snel op. Hoewel dit bewijs niet kan worden gegeneraliseerd naar algemene situaties en niet in het definitieve artikel is geschreven, levert het waardevolle ideeën op.
Deng Yu zei:Zelfs als AI het definitieve bewijs niet direct kan voltooien, kan het onderzoekers helpen om snel lokale routes te verkennen. Hij kijkt uit naar een meer volwassen samenwerkingsmethode in de toekomst: menselijke onderzoekers zijn verantwoordelijk voor het algemene raamwerk en de kernideeën, en AI helpt bij het voltooien van een aantal technische afleidingen. Maar hij benadrukte ook dat studenten die net aan wetenschappelijk onderzoek zijn begonnen, nog steeds een oordeel moeten vellen bij het gebruik ervan: “Alleen omdat AI een schijnbaar compleet argument geeft, kunnen we de noodzakelijke stappen van onafhankelijk oordeel en rigoureuze verificatie niet overslaan.".