GPT-5.6 membantu membantah konjektur Maxwell — tetapi bukan yang diduga semua orang

Pada 29 Juli, sebuah catatan singkat berjudul 'Konjektur Maxwell Salah' muncul di arXiv. Keesokan paginya, rekan penulis Philip Aratun menulis di media sosial bahwa konjektur tersebut salah dan AI yang menemukan contoh penyangkalnya, dengan para matematikawan hanya menyampaikannya. Greg Brockman, presiden OpenAI, membagikan ulang ini, dan berita tersebut menyebar. Namun, banyak yang salah memahami maksudnya, mengira hal itu melibatkan persamaan Maxwell, sehingga muncul pertanyaan tentang elektromagnetisme. Konjektur sebenarnya, yang dirumuskan oleh Gabrielov, Novikov, dan Shapiro pada tahun 2007, berkaitan dengan jumlah maksimum titik keseimbangan non-degenerasi untuk n muatan titik, yang diusulkan paling banyak (n−1)². Contoh penyangkalnya melibatkan tiga muatan satuan di titik sudut segitiga sama sisi (memberikan empat titik keseimbangan) dan menambahkan dua muatan kecil di sepanjang sumbu tegak lurus, membagi keseimbangan pusat menjadi 21 titik baru, totalnya setidaknya 24. Besarnya muatan yang ditambahkan harus berskala ε³ dengan koefisien yang ditentukan secara unik. Preprint tersebut mengakui model bahasa GPT-5.6 Sol yang menyarankan ide konstruksi, sementara para penulis memverifikasi matematikanya, dengan Mathematica dan Maple digunakan untuk pemeriksaan. Signifikansinya telah diperdebatkan: beberapa menyebutnya niche, tetapi ini berfungsi sebagai ujian bagi AI, dan ini meninggalkan urutan pertumbuhan sebenarnya yang tidak diketahui, dengan batas sebelumnya bersifat super-eksponensial. Hasilnya belum melalui tinjauan sejawat dan formalisasi dalam Lean, tetapi bersifat elementer dan dapat direproduksi, dan tidak ada yang secara terbuka keberatan dalam lima hari.