OpenAI-ն հայտարարում է, որ Astra մոդելը լուծել է մաթեմատիկական 10 բաց խնդիր

OpenAI-ն օգոստոսի 1-ին հայտարարեց, որ Astra-յի՝ իր հաջորդ խոշոր մոդելների ընտանիքի ներքին տարբերակը մաթեմատիկայի և տեսական համակարգչային գիտության տասը վաղեմի բաց խնդիրների լուծումներ է տվել՝ Sol API-ի սակագներով ընդհանուր առմամբ ծախսելով մոտ 2000 դոլար:openai

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

Ինչ է լուծել Astra-ն

Տասը արդյունքները ներառում են գնդերի փաթեթավորման խտության նոր վերին սահմանները ընդհուպ մինչև Կոն-Էլկիսի շեմը, ոչ սոֆիկ խմբերի գոյությունը ապացուցող կառուցվածք, որը խմբերի տեսության կենտրոնական հարցերից է և բաց էր 1999 թվականից ի վեր, ինչպես նաև ֆոն Նոյմանի ալգեբրաների վերաբերյալ Կոնի կոշտության հիպոթեզի հերքումը: Astra-ն ներկայացրել է նաև պերմանենտի հաշվարկման համար թվաբանական շղթաների բարդության նոր ստորին սահմաններ, երկու խաղացողով քվանտային խաղերի համար ցուցչային զուգահեռ կրկնության թեորեմ, և ամենամոտ վեկտորի խնդրի համար մոտարկման բազմ անդամային գործոնով բարդություն, որն ազդեցություն ունի հետքվանտային կրիպտոգրաֆիայի վրա:forklog+1

Մոդելը լուծել է Էրհարտի ծավալի հիպոթեզը բոլոր չափումներում, ստացել է սուպերցուցչային ստորին սահման բազմագույն եռանկյունների Ռամսեյի թվերի համար՝ լուծելով Էրդյոշի 183-րդ խնդիրը, և անդրադարձել է էքստրեմալ գրաֆների տեսության կոմպակտության ու այլասերման հիպոթեզներին՝ լուծելով Էրդյոշի 146-րդ և 180-րդ խնդիրները:openai

Մանչեսթերի համալսարանի մաթեմատիկոս Թոմաս Բլումն արդյունքներն անվանել է «մեծ նորություն» և «զգալի քայլ»:forklog

Astra-ն դեռևս թողարկված չէ

Astra-ն հանրությանը դեռ չի ներկայացվել: Սեմ Ալտմանը մոդելը ցուցադրել է ԱՄՆ սենատորներին և կարգավորող մարմիններին Վաշինգտոնում հուլիսի վերջին, և այն կարող է լինել առաջին համակարգը, որը ներկայացվելու է Թրամփի վարչակազմի՝ ԱԻ մոդելների նախաթողարկման գնահատման պլանավորված շրջանակում: Ըստ The Information News Corp ↘ 1.67%-ի՝ OpenAI-ն դեռ չի որոշել, թե Astra-ն կթողարկվի որպես GPT-6, թե որպես տարբերակ GPT-5 շարքում, և թողարկման ամսաթիվ սահմանված չէ:softonic+2

Astra-յի դատողությունների տեխնոլոգիայի համահեղինակ Նոամ Բրաունը նշել է, որ մոդելին չի հաջողվել լուծել Հազարամյակի մրցանակային խնդիրները՝ յոթ հարց, որոնք 2000 թվականին Քլեյի մաթեմատիկայի ինստիտուտի կողմից ճանաչվել են որպես մաթեմատիկայում ամենակարևորները: OpenAI-ն հստակ նշել է, որ «ամբողջությամբ ԱԻ համակարգով ստեղծված ապացույցի համար մարդկային հեղինակություն պնդելը սխալ կներկայացնի ինչպես համակարգի ներդրումը, այնպես էլ իսկական մարդկային մտավոր աշխատանքի էությունը»:forklog+1