Isang modelo ng OpenAI ang nakapabulaan sa isang matagal nang matematikal na hinuha, na nagmamarka ng isang kapansin-pansing demonstrasyon kung paano ginagamit ang mga advanced na sistema ng AI sa pananaliksik na siyentipiko lampas sa mga gawain ng pagbuo ng teksto at pagko-code.

Isang bihirang breakthrough sa matematika

Ipinapakita ng resulta ang pag-ambag ng isang AI model sa isang larangan na madalas ituring na hamon para sa pangangatwirang pantao: purong matematika. Sa halip na simpleng tumulong sa mga kalkulasyon o pattern matching, nagawan ng modelo ang pagtukoy ng isang kapintasan sa isang hinuha na tumagal ng mga taon, na binuwag ang isang palagay na hindi nareresolba ng mga karaniwang pamamaraan.

Ang pag-unlad na ito ay nagha-highlight ng pagbabago sa paraan ng pag-aaplay ng mga tool ng AI sa mga setting ng pananaliksik. Ang mga sistemang binuo ng OpenAI ay lalong sinusubok sa mga gawain na nangangailangan ng matagalang lohikal na pangangatwiran, at ipinapahiwatig ng kasong ito na maaari silang magkaroon ng direktang papel sa pag-usbong ng kaalaman sa matematika.

Higit pa sa awtomasyon

Habang ang AI ay karaniwang ginagamit na sa pagbuo ng software at pagsusuri ng datos, ipinapakita ng halimbawa na ito ang mas ambisyosong gamit. Ang pagpabulaan sa isang matematikal na hinuha ay hindi isang rutinang gawain ng awtomasyon; nangangailangan ito ng pagsiyasat ng kumplikadong ugnayan, pagsubok sa mga edge case at pagkilala kapag ang isang tila kapani-paniwalang pahayag ay hindi tumatalab.

Ginagawa nitong lalong makabuluhan ang resulta para sa mga mananaliksik na sumusubaybay sa pag-unlad ng malalaking language model at mga sistema ng pangangatwiran. Nagdaragdag din ito sa lumalaking ebidensya na ang AI ay nagsisimulang mag-ambag sa pagtuklas sa agham sa halip na tumulong lamang sa mga tao na mas mabilis magproseso ng impormasyon.

Ang gawaing ito ay hindi nangangahulugang pinalitan na ng AI ang mga matematikong tao. Ngunit ipinapahiwatig nito na ang mga modelo ay nagiging may kakayahang magbunyag ng mga insight sa mga larangang dati'y inaakala na lagpas sa kanilang abot. Para sa OpenAI, ang resulta ay isang kapansin-pansing halimbawa ng praktikal na halaga ng kanilang mga modelo sa mataas na antas ng pananaliksik, at para sa matematika, ito ay paalala na kahit ang matagal nang mga hinuha ay maaaring mabuwag ng mga bagong uri ng kasangkapan.

Mga Pinagmulan:

openai.com