OpenAI ka nxjerrë një koleksion të madh kërkimesh matematikore të prodhuara nga një model i kufirit të brendshëm AI, duke përfshirë punën mbi problemet që kanë sfiduar matematikanë profesionistë për vite me radhë.
Kompania njoftoi daljen më 6 tetor, duke thënë se rezultatet mbulojnë një rang të gjerë matematike dhe po botohen haptazi për shqyrtim nga kërkuesit.
Koleksioni publik përmban 722 dorëshkrime të organizuara në 372 familje që lidhen me to, sipas komunitetit zhvillues të OpenAI. Puna doli nga një vlerësim që përfshinte rreth 4.000 probleme matematikore.
Verge raporton se koleksioni përfshin qindra rezultate matematikore të krijuara nga një model i pazbuluar i kufirit. Por botimi nuk do të thotë se çdo pohim duhet trajtuar menjëherë si fakt i përcaktuar matematikor. Studiuesit duhet të shqyrtojnë provat dhe të përcaktojnë rëndësinë dhe risinë e rezultateve individuale.
Një veçori veçanërisht domethënëse është se OpenAI ka siguruar formalitete të shumë provave duke përdorur Lianin, një gjuhë programimi që lejon që provat matematikore të kontrollohen nga kompjuteri. Kompania thotë se formalitete shtesë do të shtohen me kalimin e kohës.
OpenAI zbuloi, gjithashtu, një masë të jashtëzakonshme të kompjuterit të përfshirë. Mesatarisht, çdo rezultat kërkonte një barazi kompjuterike me gati tri orë ChatGPT Pro të menduarit duke përdorur modelin e brendshëm.
Dalja pason pretendimet gjithnjë e më dramatike rreth aftësisë së AI për të kontribuar në matematikë. Në shtator, OpenAI tha se e njëjta përpjekje më e gjerë kërkimore kishte zgjidhur më shumë se 100 probleme të hapura për një kohë të gjatë, duke e bërë kompaninë të punonte me një grup të pavarur matematicienësh të shquar se si duheshin shqyrtuar dhe komunikuar këto zbulime.
Ky grup këshillimor përfshin matematikanë nga institucionet, përfshirë Stanfordin, Harvardin, Oksfordin, Kembrixhin, Berkli dhe Institutin për Studimin e Përparuar. Roli i saj nuk është thjesht të miratojë punën e OpenAI, por të këshillojë në mënyrë të pavarur mbi rëndësinë, standardet kërkimore dhe zbulimin e përgjegjshëm.
Pyetja më e madhe tani shkon përtej asaj nëse AI mund t'u përgjigjet pyetjeve të vështira të matematikës.
Nëse matematikanët e pavarur përfundimisht verifikojnë pjesë të rëndësishme të kësaj vepre, kufiri i ri mund të jetë nëse AI mund të zbulojë rregullisht matematikën që njerëzit nuk e dinin tashmë.
