Model OpenAI Membalik Dugaan Erdős yang Berusia 80 Tahun, Mencapai Pasangan Jarak Unit sebanyak n^(1+δ)

Menurut Beating, model penalaran umum OpenAI telah membatalkan dugaan jarak satuan yang diajukan oleh Erdős pada tahun 1946. Dugaan klasik menyatakan bahwa jumlah pasangan titik pada jarak satu pada bidang tidak akan secara signifikan melebihi n^(1+o(1)); namun, konstruksi himpunan titik baru dari model ini menghasilkan n^(1+δ) pasangan, di mana δ adalah konstanta positif, sehingga melanggar batas atas yang dipertahankan selama hampir 80 tahun.

Model tersebut menyelesaikan pembuktian ini tanpa sistem matematika khusus atau alat yang disesuaikan. Matematikawan eksternal, termasuk Noga Alon, Tim Gowers, dan Arul Shankar, memverifikasi pembuktian asli dan menerbitkan makalah pendukung di arXiv, mengonfirmasi bahwa penurunan tersebut memakai teknik-teknik lanjutan dari teori bilangan aljabar.