OpenAI хиймэл оюун ухааны тусламжтайгаар математик, компьютерын шинжлэх ухаан болон квант физикийн чиглэлд гурван шинэ үр дүнд хүрсэн гэж мэдэгдлээ.
Тус компани эдгээр ажлыг шинжлэх ухааны томоохон ахиц байж болзошгүй гэж үзэж байгаа ч эцсийн дүгнэлт хийхээс өмнө хөндлөнгийн судлаачдаар нотолгоо, тооцооллыг нарийвчлан шалгуулахаар болсон байна.
OpenAI-ийн онцолсноор AI загварууд зөвхөн өмнөх мэдлэгийг нэгтгэх бус, зарим тохиолдолд шинэ математик баталгаа болон онолын үр дүн боловсруулах түвшинд хүрч байгааг эдгээр жишээ харуулж байгаа аж.
1991 оноос судалж ирсэн математик таамаглалд баталгаа гаргасан гэжээ
Эхний үр дүн нь 1991 оноос судлагдаж ирсэн локал тэгшитгэл буюу local smoothing-тэй холбоотой математик таамаглал юм.
OpenAI-ийн мэдээлснээр тэдний загвар уг таамаглалыг бүх хэмжээсийн хувьд батлах нотолгоо боловсруулжээ. Үүнтэй хамт Какея болон Стейний холбоотой таамаглалууд ч шийдэгдсэн гэж тус компани мэдэгдсэн байна.
Баталгааны эх бичвэрээс гадна түүнийг Lean системээр формалчлан шалгасан хувилбарыг мөн нийтэлжээ.
Lean нь математик нотолгоог логикийн дүрмийн дагуу машинд шалгуулах боломжтой формал баталгаажуулалтын систем юм. Гэхдээ формал шалгалт хийгдсэн нь үр дүнгийн шинжлэх ухааны ач холбогдлыг бүхэлд нь баталгаажуулсан гэсэн үг биш бөгөөд мэргэжлийн судлаачдын үнэлгээ шаардлагатай хэвээр байна.
Компьютерын шинжлэх ухааны ETH таамаглалыг үгүйсгэсэн гэж мэдэгдэв
Хоёр дахь үр дүн нь тооцооллын нарийн төвөгтэй байдлын онолд өргөн ашиглагддаг Экспоненциал хугацааны таамаглал буюу ETH-тэй холбоотой.
OpenAI өөрийн систем ETH буруу болохыг харуулсан нотолгоо гаргасан гэж мэдэгдсэн байна. Энэхүү баталгааг мөн Lean-д формалчилжээ.
Үр дүнг хөндлөнгөөс үнэлүүлэхийн тулд алгоритм болон тооцооллын онолын мэргэжилтнүүдээс бүрдсэн тусгай баг байгуулсан аж.
Хэрэв уг баталгаа эрдэм шинжилгээний нарийн шалгалтыг давж батлагдвал олон төрлийн тооцооллын бодлогын хүндрэлийн талаар өнөөг хүртэл ашиглаж ирсэн зарим ойлголтыг дахин авч үзэх шаардлагатай болж магадгүй.
Квантын талбайн онолын оршин тогтнолыг математик аргаар нотолсон гэжээ
Гурав дахь судалгаа нь квант физикийн суурь асуудлуудтай холбоотой.
OpenAI-ийн мэдэгдсэнээр AI загварууд квант хромодинамик болон Янг-Миллсийн онол зэрэг квантын талбайн тодорхой онолуудын оршин тогтнох нөхцөлийг математик байдлаар харуулсан баталгаанууд боловсруулсан байна.
Энэ ажлыг үнэлэхэд Нобелийн шагналт физикч Дэвид Гросс тэргүүтэй эрдэмтдийн баг оролцож байгаа аж.
Судлаачид OpenAI-ийн тайлбараас шууд хамааралгүйгээр үр дүнг өөрсдөө шинжилж, түүний физик болон математик утгыг тодорхойлох ажил хийхээр болжээ.
Эдгээрийг одоохондоо эцсийн батлагдсан нээлт гэж үзэхэд эрт
OpenAI гурван үр дүнг шинжлэх ухааны нийгэмлэгт нээлттэй шалгуулах шаардлагатайг онцолсон байна. Компани нотолгоо, формал хувилбар болон шаардлагатай материалыг судлаачдад өгөхөөр төлөвлөжээ.
Тиймээс эдгээр үр дүнг одоогоор шинжлэх ухааны нийтлэг зөвшилцлөөр батлагдсан нээлт гэж бус, OpenAI-ийн танилцуулсан урьдчилсан томоохон үр дүн гэж үзэх нь илүү зөв юм.
Хэрэв бие даасан шинжээчдийн үнэлгээ амжилттай дуусвал AI зөвхөн шинжлэх ухааны өгөгдөл боловсруулах бус, шинэ теорем, баталгаа болон онолын бүтцэд хувь нэмэр оруулах хэрэгсэл болж байгааг харуулах хүчтэй жишээ болох боломжтой.
