Kontribusi Model AI Terbaru dalam Sains

Sebuah artikel di AI-News.ru membahas kontribusi model AI terbaru terhadap sains, khususnya dalam matematika. Artikel tersebut merujuk pada unggahan Terry Tao (21 Juli 2026) tentang contoh penyangkal konjektur Jacobian, di mana model AI termasuk Claude Fable 5 dan ChatGPT memainkan peran. Sebuah pracetak lain (arXiv:2607.18186) menyajikan bukti yang berlaku untuk dimensi n≥3, dibantu oleh ChatGPT dan Claude. Sebuah makalah (arXiv:2607.18619) oleh seorang peneliti Microsoft menjelaskan bukti alternatif teorema empat warna menggunakan GPT-5.6 Sol. Selain itu, arXiv:2607.18655 berkaitan dengan Claude Fable 5, dan arXiv:2607.19675 menjelaskan bukti menggunakan OpenAI Codex, merujuk pada masalah dari tahun 1964. Karya lain termasuk batas yang diturunkan AI untuk konjektur De Giorgi (arXiv:2607.18174) dengan suku kesalahan O(T^-1), makalah model SYK (arXiv:2607.18998) menggunakan GPT-5.6, dan bukti keberadaan orbit periodik untuk biliar dalam poligon oleh Giovanni Forni (arXiv:2606.10102). Penulis juga menyebutkan karya mereka sendiri yang melibatkan GPT.