Sawetara masalah matematika dirumusake kanthi prasaja supaya bisa diterangake marang bocah, nanging angel banget nganti ngentekake pirang-pirang generasi ahli matematika. Salah sawijining masalah kasebut yaiku masalah jarak unit: Selehake \(n\) titik ing bidang. Pira pasang titik sing bisa duwe jarak persis \(1\) ? Masalah kasebut asale saka Paul Erdős lan wis disinaoni wiwit taun 1946. OpenAI saiki wis nerbitake manawa model internal wis mbuktekake yen dugaan sing wis suwe dianut babagan masalah iki salah.
Sekilas, pitakonan iki koyone ora mbebayani. Yen sampeyan masang titik \(n\) ing garis lurus, sampeyan bakal entuk interval \(n-1\) kanthi dawa \(1\) . Yen sampeyan ngatur titik-titik kasebut minangka kothak, kaya ing kertas grafik, sampeyan bakal entuk interval sing luwih akeh: kanthi horisontal lan vertikal ing antarane titik-titik sing jejer. Erdős wis nemokake konstruksi sing rada luwih apik tinimbang linier. Nanging, sajrone wektu sing suwe, dipercaya manawa iki ora bisa ditingkatake kanthi signifikan. Sacara formal, asumsine yaiku jumlah maksimal interval unit kasebut mung tuwuh kira-kira \(n^{1+o(1)}\) , yaiku, rada luwih cepet tinimbang \(n\) , nanging ora kanthi eksponen tambahan sing tetep.
Iki persis poin sing nggumunake: Model OpenAI (sing ora diungkapake) ora mung nggawe siji conto tandingan, nanging kulawarga set titik tanpa wates \(P\) sing jumlah jarak unit paling ora \(|P|^{1+\delta}\) , kanthi \(\delta>0\) sing tetep. Penyempurnaan mengko dening Will Sawin, miturut OpenAI, malah ngasilake \(\delta=0{,}014\) . Iki muni cilik, nanging sacara matematis gedhe banget: Iki dudu sisa logaritmik maneh, nanging gain polinomial sing sejati.
Conto prasaja nggambarake ide dhasar. Ayo padha nimbang angka kompleks
\[
u=\frac{2+i}{2-i}=\frac{3+4i}{5}=\frac35+\frac45i.
\]
Angka iki nduwèni nilai absolut \(1\) , amarga
\[
\left|\frac35+\frac45i\right|=\sqrt{\left(\frac35\right)^2+\left(\frac45\right)^2}=1.
\]
Mulane, yen \(x\) minangka titik ing bidang, mula \(x\) lan \(x+u\) persis adoh \(1\) . Khususé, contoné, titik-titik kasebut dumunung ing...
\[
0
\quad\text{und}\quad
\frac35+\frac45i
\]
persis siji unit. Ekspresi teoretis angka kanthi mangkono ngasilake arah geometris dawa \(1\) . Iki durung dadi bukti utama, nanging iki versi cilik saka trik kasebut: wong ora mung nggoleki jarak unit horisontal lan vertikal kaya ing kothak, nanging uga akeh arah sing digawe kanthi aritmatika, sing kabeh duwe dawa sing persis \(1\) .
Konstruksi sing sejatine nggunakake piranti sing luwih kuat. Tinimbang mung nggarap bilangan bulat Gaussian \(\mathbb{Z}[i]\) , buktine nggunakake kolom angka aljabar sing luwih rumit \(K=L(i)\) . Ing kana, akeh unsur saka wangun kasebut
\[
u=\frac{\alpha}{c(\alpha)}
\]
dibangun, ing ngendi \(c\) nduweni peran konjugasi kompleks. Efek penting yaiku: ing antarane penyematan kompleks sing relevan, \(u\) iki saben duwe gedhene \(1\) . Mula, dheweke minangka calon kanggo akeh arah unit sing beda.
Sacara kasar, conto tandingan sing sejati ora katon kaya gambar cilik lan ayu kanthi sepuluh titik, nanging kaya gerombolan titik sing gedhe lan dibangun kanthi aritmatika. Sampeyan njupuk kothak dimensi dhuwur, ngethok titik sing cocog saka kothak kasebut, banjur diproyeksikan maneh menyang bidang biasa. Ing notasi bukti, iki ditulis kanthi kasar ing wangun...
\[
P_j=\pi_1\big((y+\Lambda_j)\cap W\big),
\]
Kanthi tembung liya: Siji njupuk titik saka kothak sing digeser \(y+\Lambda_j\) , mbatesi titik-titik kasebut miturut wilayah \(W\) , lan ngproyeksikan titik-titik kasebut nganggo \(\pi_1\) menyang koordinat kompleks, yaiku, menyang \(\mathbb{C}\cong\mathbb{R}^2\) . Akeh bedane antarane titik-titik kasebut banjur dadi unsur \(u\) kanthi magnitudo \(1\) . Mulane, sawise proyeksi, titik-titik kasebut dadi jarak unit sing bener ing bidang.
Analogi visual kaya ngene: Kisi-kisi standar nggunakake sawetara arah sing prasaja, kayata tengen, kiwa, munggah, lan mudhun. Nanging, konstruksi anyar iki ngasilake akeh banget arah sing didhelikake sing asale saka teori angka aljabar. Saben arah dawane persis sak unit. Amarga ana akeh arah kaya ngono lan akeh titik sing cocog karo arah kasebut, total jarak unit luwih gedhe tinimbang sing diidinake dening konjektur lawas.
Uga penting kanggo digatekake saka ngendi buktine asale. Miturut OpenAI, solusi kasebut ditemokake kanthi mandiri dening model penalaran umum, dudu dening sistem matematika sing dilatih khusus kanggo masalah iki. Bukti kasebut banjur ditinjau sacara internal lan eksternal lan digawe dadi bentuk sing bisa diwaca manungsa. Cathetan sing diiringi saka matematikawan eksternal uga nandheske yen iki dudu mung versi otomatis saka metode sing dikenal, nanging uga sambungan sing ora dikarepke antarane geometri diskrit lan teori angka aljabar.
Iki mbokmenawa alesan sing sejatine kenapa asil iki menarik banget. Iki ora mung babagan AI sing ngrampungake masalah kanthi bener. Iki babagan nemokake cara sing ora jelas kanggo akeh wong: ngatasi masalah geometris babagan jarak ing bidang nganggo alat sing jero saka teori angka. Iki ora nggawe matematika kurang manusiawi. Nanging menehi mungsuh anyar sing rada kuwat lan ora nyaman.