Mengapa Masalah Legendaris Erdős Menyerah pada Kecerdasan Buatan
OpenAI
Model AI internal OpenAI membuktikan salah masalah jarak unit Erdős, sebuah pencapaian bersejarah yang pertama. Kemudian, model bernama Astra menyelesaikan lebih banyak masalah Erdős, menandai pergeseran fase yang dirasakan dalam kemampuan matematika AI. Pengaruh situs web Thomas Bloom, yang mengumpulkan masalah-masalah Erdős, juga diteliti.
OpenAI mengumumkan bahwa model AI internal menemukan contoh penyangkal terhadap masalah jarak satuan Paul Erdős, sebuah konjektur dari tahun 1946. Hasilnya kemudian diperbaiki oleh matematikawan manusia, tetapi tetap merupakan hal baru karena menggunakan ide dari bidang matematika yang jauh. Pada tanggal 1 Agustus, OpenAI mengumumkan bahwa model lain, Astra, mencapai 10 terobosan matematika tambahan, memecahkan tiga masalah Erdős lagi. Noga Alon mencatat bahwa model-model ini secara radikal mengubah penelitian matematika. Thomas Bloom membuat situs web erdosproblems.com pada awal tahun 2023 untuk mengumpulkan masalah-masalah Erdős, dan pada bulan Agustus 2025 ia menambahkan bagian komentar, yang mendorong terbentuknya komunitas. Seorang matematikawan amatir, Wouter van Doorn, memecahkan masalah 1102 dengan bantuan komunitas, menerima umpan balik dari Terence Tao. Kemudian, Kevin Barreto dan Liam Price, menggunakan GPT-5.2 dan GPT-5.2 Pro, mencoba memecahkan masalah; mereka memecahkan masalah 333 tetapi ternyata Erdős telah memecahkannya pada tahun 1977, dan kemudian memecahkan masalah 728 yang belum ada solusinya sebelumnya.
Sumber: Habr — хаб ИИ —
asli