Ang susunod-henerasyon na modelo ng pag-iisip ng OpenAI, na kilala sa loob bilang Astra, ay nagawa ang isang bagay na magpapaiyak sa karamihan sa mga kandidato sa PhD sa kanilang whiteboards. Ibinalita ng kumpanya noong Agosto 1 na ang modelo ay awtomatikong naglikha ng 10 bagong resulta sa mga bukas na problema sa matematika at teoretikal na agham ng kompyuter, bawat isa ay pinatotohanan ng mga panlabas na matematiko kabilang ang Fields Medalist na si Tim Gowers.
Hindi ito ang unang pagkakataon ni Astra. Noong Mayo 20, ang parehong modelo ay tinanggihan ang Erdős planar unit distance conjecture, isang problema na nagpahirap sa mga matematiko sa loob ng halos 80 taon.
Ano ang ginawa ng modelo
Ang problema, na itinakda ng legendariyong Hungarian mathematician na si Paul Erdős, ay tumatalakay kung gaano karaming mga pares ng puntos sa isang eroplano ang maaaring magkakalayong eksaktong isang yunit. Gumawa ang Astra ng mga konfigurasyon na nagbibigay ng hindi bababa sa n^(1+δ) mga pares ng unit-distance, kung saan ang δ ay mas malaki sa zero, para sa walang hanggang maraming n. Ang pinabuting resulta ay nagtakda ng δ sa 0.014. Ito ang unang beses na nalutas ng isang AI nang awtonomo ang isang mahalagang problema sa discrete geometry. Walang espesyalisadong matematikal na pagsasanay. Walang tulong mula sa tao. Ang modelo ay nakikipag-ugnayan sa advanced na alhebraikong pag-iisip nang sarili nito.
Ang pagpapahayag noong Agosto ay dagdagan ng 10 karagdagang resulta, na sumasaklaw sa heometriya at teoretikal na agham ng kompyuter. Bawat resulta ay tiyakang ilarawan ng mga propesyonal na matematiko. Tawag ni Gowers mismo sa tagumpay na “isang milestone sa AI mathematics.” Ang mga matematiko, kabilang si Gowers at Thomas Bloom, ay nag-publish ng kasamang mga papel na nag-verify ng mga patunay at nagbigay ng karagdagang pagsusuri.
Bakit mahalaga ito sa labas ng purong matematika
Ang kriptograpiya, ang pundasyon ng bawat blockchain at digital asset na umiiral, ay batay sa aplikadong matematika. Ang mga suposisyong pangseguridad na nakabatay sa Bitcoin, Ethereum, at lahat ng iba pang crypto protocol ay nakabatay sa kompyutasyonal na hirap ng ilang matematikal na problema. Isang modelo na makakalikas ng 80-taong gulang na mga konjektura sa diskretong heometriya ngayon ay isang modelo na maaaring suriin ang mga matematikal na pundasyon ng enkripsyon bukas.
Ano ang dapat talagang panatilihin ng mga investor
Ang agad na epekto sa merkado ay zero. Walang pagbanggit ang OpenAI tungkol sa mga crypto token, mga digital asset, o kaugnay na protokolo sa anumang kanilang pahayag. Ito ay isang malinaw na pang-akademikong ambag sa AI.
Una, ang mga token at proyekto na kaugnay ng AI na nakatuon sa matematikal na komputasyon at pag-verify ng patotoo ay maaaring makakita ng muli ang interes. Ang pananaw na ang AI ay kayang gawin ang totoong, verifiable na intelektuwal na trabaho, hindi lang mag-generate ng teksto na tila makatotohanan, ay nagpapalakas ng kaso para sa mga proyekto na nagbuo sa krus ng AI at blockchain verification.
Pangalawa, ang post-quantum cryptography ay lumilipat mula sa teoretikal na pag-aalala patungo sa praktikal na prioridad. Ang mga proyekto na nagtatrabaho sa mga pamantayan ng kriptograpiyang resistant sa quantum at AI ay maaaring maging lalong may kahalagahan.