GPT-5 baru saja lulus apa yang disebut para peneliti sebagai "Tes Gödel." Itu berarti ini bukan hanya memecahkan masalah buku teks, tetapi juga menangani dugaan matematika terbuka yang biasanya membutuhkan waktu berhari-hari untuk dipecahkan oleh mahasiswa PhD yang terampil. Dalam makalah baru, GPT-5 diuji pada 5 dugaan pengoptimalan yang belum terpecahkan. Itu memecahkan 3 dari 5. Pada satu masalah, itu bahkan menghasilkan bukti valid yang berbeda dari yang diharapkan para peneliti. Kami secara resmi memasuki era di mana AI perbatasan tidak hanya belajar dari matematika, tetapi juga melakukan matematika. Implikasinya sangat besar: • Kemajuan pada masalah yang membuat manusia terbantut selama berhari-hari atau berminggu-minggu • AI berkontribusi pada penemuan matematis asli • Pratinjau tentang bagaimana penelitian itu sendiri akan berubah pada tahun 2030-an Orang-orang masih meremehkan ini. Dampak model yang dapat membuktikan teorema baru saja mulai meresap. Ini adalah garis antara "pelengkapan otomatis mewah" dan penalaran ilmiah yang nyata.