Bijdrage van de nieuwste AI-modellen aan de wetenschap

Een artikel op AI-News.ru bespreekt de bijdragen van recente AI-modellen aan de wetenschap, met name in de wiskunde. Het verwijst naar een bericht van Terry Tao (21 juli 2026) over een tegenvoorbeeld voor het Jacobiaan-vermoeden, waarbij AI-modellen zoals Claude Fable 5 en ChatGPT een rol speelden. Een ander preprint (arXiv:2607.18186) presenteert een bewijs dat geldt voor dimensies n≥3, met hulp van ChatGPT en Claude. Een paper (arXiv:2607.18619) van een Microsoft-onderzoeker beschrijft een alternatief bewijs van de vierkleurenstelling met behulp van GPT-5.6 Sol. Daarnaast heeft arXiv:2607.18655 betrekking op Claude Fable 5, en arXiv:2607.19675 beschrijft een bewijs met behulp van OpenAI Codex, verwijzend naar een probleem uit 1964. Andere werken omvatten een door AI afgeleide begrenzing voor het De Giorgi-vermoeden (arXiv:2607.18174) met een foutterm O(T^-1), een SYK-modelpaper (arXiv:2607.18998) met GPT-5.6, en een bewijs van het bestaan van een periodieke baan voor biljarts in veelhoeken door Giovanni Forni (arXiv:2606.10102). De auteur noemt ook zijn eigen werk waarbij GPT betrokken is.