Foto simbolikeMatematikanët dyshojnë në verifikim pasi OpenAI publikoi qindra rezultate të pretenduara
OpenAI publikoi të martën një koleksion të madh rezultatesh matematikore të gjeneruara nga inteligjenca artificiale. Matematikanët janë të impresionuar, por dyshojnë se si u kontrolluan rezultatet.
OpenAI i vendosi rezultatet në GitHub me një postim në blog të martën, më 6 tetor. FAZ numëron mbi 700 kontribute me zgjidhje, vërtetime ose fragmente vërtetimesh, ndërsa The Guardian raporton mbi 370 rezultate, nga teoria e numrave dhe gjeometria algjebrike deri te logjika matematikore. Sipas Wall Street Journal, të cituar nga FAZ, mes tyre ka përparime në tri nga pesë problemet e mbetura të Mijëvjeçarit; Alex Kontorovich i Universitetit Rutgers tha se një njeriu me këtë arritje do t'i ishte siguruar Medalja Fields. OpenAI thotë se modelit i paraqiti rreth 4000 probleme dhe ka përshkruar metodën dhe fuqinë llogaritëse të nevojshme.
Dyshime për verifikimin dhe qasjen
OpenAI thotë se konsultoi ekspertë të Advisory Group on Mathematics and Artificial Intelligence në Institute for Advanced Study. Vetë instituti tha se nuk e mbështet testimin e problemeve më të vështira në modele pronësore dhe paralajmëroi për një sistem dyshtresor dhe për argumente të IA-së që asnjë njeri nuk mund t'i verifikojë. OpenAI premtoi t'u japë matematikanëve një zë, por nuk tha se do ta ndalojë praktikën. Matematikani i NYU-së Tristan Buckmaster i tha New York Times se kërkesat mund t'i kenë dhënë modelit informacion që e ndihmoi të arrijë rezultatet.