Anthropic-ը պնդում է, որ իր AI-ն 24 ժամում կրկնել է OpenAI-ի մաթեմատիկական ձեռքբերումների կեսը

OpenAI-ն շաբաթ օրը հայտարարեց, որ իր հաջորդ խոշոր արհեստական բանականության մոդելի՝ Astra-ի ներքին տարբերակը լուծել է կամ զգալի առաջընթաց է գրանցել մաթեմատիկայի և տեսական համակարգչային գիտության 10 վաղեմի բաց խնդիրներում: 24 ժամվա ընթացքում Anthropic-ի հետազոտող Լևենտ Ալփյոգեն հակադարձեց՝ պնդելով, որ հանրությանը հասանելի Claude Fable-ի միջոցով ինքնուրույն լուծել է նույն խնդիրներից հինգը:

Այս փոխանակումը նշանավորում է AI ոլորտի երկու առաջատար ընկերությունների միջև մրցակցության նոր և թերևս ամենատպավորիչ էսկալացիան, որտեղ առաջադեմ մաթեմատիկական դատողությունը դառնում է նոր մարտադաշտ:

Astra-ի մաթեմատիկական հայտարարությունները

«Տասը առաջընթաց մաթեմատիկայում և տեսական համակարգչային գիտության մեջ» վերնագրով բլոգային պոստում OpenAI-ն նշել է, որ այդ խնդիրներում «առնվազն մեկ տասնամյակ որևէ առաջընթաց չէր գրանցվել հիմնական արդյունքի գծով»: Արդյունքները վերաբերում են բազմաչափ երկրաչափությանը, կոդավորման տեսությանը, արիֆմետիկ շղթաների բարդությանը, խմբերի տեսությանը, օպերատորային հանրահաշիվներին, քվանտային բարդությանը, ցանցային կրիպտոգրաֆիային և էքստրեմալ կոմբինատորիկային:indianexpress+1

Հայտարարված ձեռքբերումների թվում Astra-ն ապացուցել է, որ գոյություն ունեն ոչ սոֆիկ խմբեր: Հարց, որը բաց էր 1999 թվականից: Նա նաև լուծել է Ալեն Կոնի (Alain Connes) ռիգիդության վարկածը և Էրհարտի ծավալի վարկածը: OpenAI-ն հայտնել է, որ ապացույցները ձևակերպվել են Lean 4 համակարգում, և որ ինքը հապարակելու է մոդելի դատողությունների ընթացքի նկարագրությունը: Ընկերության գնահատմամբ՝ աշխատանքի կրկնօրինակումը GPT-5.6 Sol API-ի սակագներով կարժենա մոտ 2000 դոլար:openai+3

OpenAI-ն տեխնիկական մանրամասներ չի տրամադրել Astra-ի ճարտարապետության կամ թողարկման ժամկետների մասին: Մաթեմատիկոս Թերենս Տաոն նշել է, որ խնդիրները, թեև բարդ էին, «լուծելի էին հայտնի մեթոդներով», այլ ոչ թե մաթեմատիկայի ամենախորը չլուծված հարցերն էին:instagram

Anthropic-ի արագ արձագանքը

Հայտարարությունից կարճ ժամանակ անց Ալփյոգեն X հարթակում գրեց, որ Claude Fable-ը լուծել է նույն խնդիրներից հինգը 24 ժամից էլ պակաս ժամանակում՝ աշխատելով ինքնավար կերպով, ընդհանուր հրահանգներով և առանց ինտերնետ հասանելիության: Նրա նշած խնդիրները ներառում են արիֆմետիկ շղթաների բարդությունը, քվանտային զուգահեռ կրկնությունը և ամենամոտ վեկտորի խնդիրը:moneycontrol+2

Ալփյոգեն նորեկ չէ AI-ի աջակցությամբ մաթեմատիկական հետազոտությունների ոլորտում: Հուլիսին Հարվարդի նախկին լավագույն շրջանավարտը Claude Fable 5-ի օգնությամբ հերքեց Յակոբյանի 87-ամյա վարկածը Աշխարհի գավաթի եզրափակչի ընթացքում. արդյունք, որն այդ ժամանակվանից ի վեր անկախորեն հաստատվել է: Anthropic-ը դեռևս չի հրապարակել պաշտոնական հոդված, որը կհաստատի վերջին հայտարարությունները, իսկ OpenAI-ն հրապարակայնորեն չի արձագանքել:fortune+2

Նոր ճակատ AI մրցավազքում

OpenAI-ն ընդունել է, որ մաթեմատիկական հետազոտություններում ներդրում ունենալու ընդունակ AI համակարգերը բարձրացնում են հեղինակության հետ կապված չլուծված հարցեր: «Ամբողջությամբ AI համակարգի կողմից գեներացված ապացույցի համար մարդկային հեղինակություն պնդելը աղավաղում է ինչպես համակարգի ներդրումը, այնպես էլ մարդկային մտավոր աշխատանքը», գրել է ընկերությունը: Այն կոչ է արել ավելի լայն ակադեմիական համայնքին օգնել մշակել հղումների և հեղինակության վերագրման նորմեր:indianexpress

Այս բանավեճը հուշում է, որ տարբեր ընկերությունների առաջատար AI մոդելները մոտենում են հետազոտական մակարդակի մաթեմատիկական կարողությունների, և որ մրցակցության հաջորդ փուլը կարող է չափվել ոչ թե չաթբոտերի թեստային արդյունքներով, այլ թեորեմներով: