Model penalaran OpenAI memecahkan teka-teki matematika berusia 80 tahun, didukung oleh tiga matematikawan terkemuka

📄Artikel lengkap· Diambil secara otomatis oleh trafilaturaGemini 翻譯1840 kata

OpenAI mengumumkan bahwa model penalaran umum miliknya telah menghasilkan bukti matematika orisinal yang menyanggah konjektur geometri yang diajukan oleh Paul Erdős pada tahun 1946. Berbeda dengan kesalahan tujuh bulan lalu, kali ini mereka mendapatkan dukungan publik dari tiga matematikawan kelas berat. (Pratinjau: OpenAI meluncurkan fitur "ChatGPT Personal Finance": terhubung ke rekening bank asli, membantu Anda menghitung pengeluaran secara presisi, dan merencanakan hipotek) (Latar belakang: Artikel terbaru Vitalik membahas "Formal Verification": menggabungkan AI akan menjadi bentuk akhir pengembangan perangkat lunak, memberikan keamanan ekstrem bagi Ethereum) Masalah terbuka terkenal yang diajukan oleh Paul Erdős pada tahun 1946. Tujuh bulan lalu, OpenAI meminta maaf atas sebuah postingan matematika. Kali ini, mereka kembali dengan dukungan dari tiga matematikawan. OpenAI baru saja mengklaim bahwa model penalaran umum miliknya telah menyelesaikan satu hal: menghasilkan bukti matematika orisinal yang mematahkan konjektur tersebut. Menurut pengumuman resmi OpenAI, ini adalah "pertama kalinya AI secara mandiri memecahkan masalah terbuka utama yang signifikan bagi inti bidang matematika". Today, we share a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946. For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids. An OpenAI model has now disproved that… pic.twitter.com/j2g3Ze0zEG — OpenAI (@OpenAI) May 20, 2026 Teka-teki geometri berusia 80 tahun Apa yang disebut sebagai "unit distance problem" menanyakan: jika kita menempatkan n titik pada bidang, berapa jumlah pasangan titik terbanyak yang jaraknya tepat sama dengan 1? Masalah ini diajukan secara resmi oleh Erdős pada tahun 1946, dengan tujuan inti menentukan batas atas yang tepat untuk jumlah unit distance pairs. Pada tahun 1984, Spencer, Szemerédi, dan Trotter bersama-sama membuktikan batas atas terbaik yang diketahui saat ini: O(n^(4/3)) — artinya ketika ada n titik pada bidang, jumlah pasangan titik dengan jarak tepat 1 tidak melebihi skala n pangkat 4/3. Hasil ini menetapkan garis besar masalah, namun batas bawah yang tepat tetap belum terpecahkan. Selama hampir 80 tahun, matematikawan secara umum meyakini bahwa metode penyusunan terbaik adalah "square grids", yaitu menyusun titik-titik seperti kotak papan catur, sehingga jumlah pasangan titik dengan jarak 1 adalah yang terbanyak. Pada grid n×n, seseorang dapat dengan mudah membangun unit distance pairs dalam skala n^(4/3), dan komunitas akademik hampir mencapai konsensus: konstruksi ini sudah mendekati optimal, dan jawabannya kira-kira memang seperti itu. Model penalaran OpenAI menemukan "keluarga konstruksi" yang benar-benar baru: sebuah keluarga susunan yang dapat diperluas tanpa batas, di mana setiap susunan kinerjanya lebih baik daripada square grids. Peningkatannya mencapai tingkat "polinomial", yang berarti bukan hanya bertambah beberapa pasangan titik saja, melainkan seiring bertambahnya jumlah titik n, kesenjangannya akan terus melebar dengan pola yang dapat dideskripsikan secara matematis. Kesalahan tujuh bulan lalu Pada Oktober 2025, mantan Wakil Presiden OpenAI Kevin Weil memposting di X, mengklaim bahwa "GPT-5 telah menemukan 10 solusi untuk masalah Erdős yang sebelumnya belum terpecahkan" dan membuat kemajuan pada 11 masalah lainnya. Informasi tersebut menyebar dengan cepat, namun kemudian dibongkar satu per satu: GPT-5 tidak menghasilkan solusi baru apa pun, ia hanya menemukan jawaban yang sudah ditulis oleh orang lain dalam literatur yang ada. Detail kunci yang diklarifikasi setelahnya adalah bahwa matematikawan Thomas Bloom, yang mengelola erdosproblems.com, menunjukkan bahwa masalah yang ditandai "open" di situs webnya hanya berarti dia sendiri tidak yakin apakah masalah tersebut sudah terpecahkan, bukan berarti "tidak ada solusi". Apa yang ditemukan GPT-5 justru adalah masalah-masalah yang sudah terpecahkan namun belum diperbarui olehnya di situs web. Kepala Ilmuwan AI Meta Yann LeCun dan CEO Google DeepMind Demis Hassabis berturut-turut menyindir postingan tersebut di depan publik. Saat itu adalah masa ketika OpenAI sedang gencar mempromosikan GPT-5, sehingga kegagalan ini menjadi sangat mencolok. Weil akhirnya menghapus postingan tersebut, dan Thomas Bloom saat itu secara langsung menyebut postingan tersebut sebagai "distorsi dramatis". Kali ini, OpenAI merilis PDF companion remarks secara bersamaan, yang didukung bersama oleh tiga matematikawan kelas berat: matematikawan Israel N

Status data✓ Teks lengkap telah diambilBaca artikel asli (動區 BlockTempo)

🔍Peristiwa serupa dalam sejarah· Pencocokan kata kunci + aset6 berita

2026-05-21

OpenAI Codex resmi hadir di ponsel! Aplikasi ChatGPT kini bisa langsung menulis kode dan meninjau kode program

Tingkat kemiripan 120%關鍵字 openai同分類 zh

2026-05-21

Sam Altman melempar kejutan ke startup Silicon Valley: tukar ekuitas dengan OpenAI Tokens senilai 2 juta dolar AS

Tingkat kemiripan 120%關鍵字 openai同分類 zh

2026-05-20

Wall Street Journal: OpenAI paling cepat Jumat ini akan mengajukan permohonan IPO! Target listing pada bulan September

Tingkat kemiripan 120%關鍵字 openai同分類 zh

2026-05-20