Хиймэл оюун ухааны компани математикийн салбарын нэр хүндтэй бодлогуудыг шийдвэрлэх замаар өөрийгөө хөгжүүлэх шинэ үе шатанд хүрэхийг зорьж байна.
“The Information” сайтад мэдээлснээр, OpenAI компани математикийн “Мянганы таавар”-ын нэг болох “Hodge”-ийн таамаглалыг удахгүй шийдвэрлэхээр ажиллаж байна. Энэхүү асуудал нь полином тэгшитгэлээр тодорхойлогдсон геометрийн дүрсүүдийн топологийн шинж чанарууд нь тухайн дүрсийн жижиг хэсгүүдээс бүтэх эсэхийг судлах математикийн хамгийн хийсвэр бодлогуудын нэг юм. Тус бодлогыг шийдвэрлэсэн тохиолдолд нэг сая долларын шагнал олгодог бөгөөд одоогоор нийт долоон бодлогоос тав нь шийдэгдээгүй үлдээд байна.
Өмнө нь OpenAI компани “Navier-Stokes”-ийн математикийн бодлогыг шийдвэрлэснээ зарласан нь эрдэм шинжилгээний хүрээнийхний дургүйцлийг хүргэж, AI нь бусад математикчдын бүтээлийг ашигласан байж болзошгүй гэх шүүмжлэлийг дагуулсан билээ. Үүнээс үүдэн олон тооны математикч OpenAI-ийн үйл ажиллагааг эсэргүүцэн нээлттэй захидал илгээж, тус компани ирэх сард болох “Caltech Mathathon” арга хэмжээний ивээн тэтгэгчээс татгалзсан байна.
OpenAI-ийн инженерүүд математикийн бодлогуудыг шийдвэрлэх нь хиймэл оюун ухааныг өөрөө өөрийгөө сайжруулах (RSI) чадварт хүргэх чухал зам гэж үзэж байна. Гэвч шүүмжлэгчид хиймэл оюун ухааны компаниуд математикийн гүнзгий ойлголтод хувь нэмэр оруулахаас илүүтэйгээр олон нийтийн харилцааны (PR) үр дүн болон бизнес боломжийг чухалчилж байна гэж буруутгаж байгаа юм.
Өмнөх бодлогын шийдвэрлэлтийн үеэр үүссэн таагүй байдлаас шалтгаалан OpenAI энэ удаагийн мэдэгдлээ хийхдээ математикийн салбарынхантай хэрхэн хамтран ажиллах талаар судалж байна. Компанийн зүгээс дахин нэр хүнд унах эрсдэлээс сэргийлж, шийдлээ танилцуулах хугацааг хойшлуулж болзошгүй байгааг эх сурвалж дурджээ.
Дэлгэрэнгүйг эх сурвалжаас харах
↓Эх сурвалжийг нээх ↓
Not long after OpenAI swept in to announce it had solved the famous Navier-Stokes math problem, angering the math community and spurring speculation that the AI lifted its findings from other mathematicians, the company is allegedly homing in on another Millennium Prize Problem.
The Information reported Thursday, citing a single source at OpenAI, that employees at the AI firm expect to soon crack the Hodge Conjecture. That’s a famous unresolved question in math concerning whether certain topological features of geometric figures defined by polynomial equations can always be constructed by smaller geometric slices of the same figure. Scientific American noted it is “arguably the most abstract of the seven Millennium Prize puzzles,” of which just five remain to be solved. (Each puzzle carries a $1 million reward.)
Critics have argued AI firms are appropriating the work of mathematicians to pump out quick solutions to unsolved problems without contributing to overall understanding of mathematics. They’ve also noted that AI firms don’t seem nearly as interested in less glamorous academic tasks like verifying their solutions—which can take third-party experts and the Clay Institute, the Millennium Prize’s sponsor, years—as they are a quick PR hit. Numerous mathematicians have signed onto open letters excoriating OpenAI, and it has withdrawn its sponsorship of next month’s AI-themed Caltech Mathathon.
The Information noted that OpenAI engineers not only seem to see a business opportunity in doing for math what large language models did for coding, but also believe dominating math is an important pathway to recursive self-improvement (RSI). That’s the idea that a sufficiently smart computer will enter a phase of exponential, autonomous self-improvement. Depending on who one asks, RSI is a marketing buzzword, tech-bro philosophical babble, or the gateway to the apocalypse.
OpenAI does at least seem aware, in the wake of the Navier-Stokes, fiasco that mathematicians now view it like a Dust Bowl farmer eyeing an approaching cloud of locusts.
“It could take the company longer to announce the solution, though, because it’s trying to figure out how to collaborate with the math community to make the announcement without triggering another PR nightmare,” The Information paraphrased its source as saying.
