Google DeepMind-ի AlphaProof Nexus-ը լուծեց տասնյակ բաց մաթեմատիկական խնդիր

Ինը Erdős-ի խնդիր և 44 վարկած

Google DeepMind-ի AI համակարգը AlphaProof Nexus-ը անկախ լուծեց տասնյակ բաց մաթեմատիկական խնդիր, ինչը հաստատվում է Science-ում հրապարակված գործընկերների կողմից քննադատված հետազոտությամբ: Համակարգը լուծեց 353 բաց Erdős-ի խնդրերից ինը՝ որոնցից երկուսը անլուծելի էին մնում 56 տարի ընթացքում:

Թիմը այլ լուծումները առցանց կիսեց հոդվածի հրապարակումից առաջ: Erdős-ի խնդիրներից բացի, AlphaProof Nexus-ը հաստատեց 44 վարկած OEIS-ի ամբողջ թվական հաջորդականությունների տվյալների բազայից, լուծեց բաց հարց ալգեբրային երկրաչափության մեջ և բարելավեց հայտնի սահմանաչափը min-max օպտիմիզացիայում՝ տեխնիկա, որը օգտագործվում է որոշ AI մոդելների ուսուցման համար:

Ինչպես է աշխատում համակարգը

AlphaProof Nexus-ը կառուցված է Gemini 3,1 Pro-ի վրան, որը ստեղծում և ուղղում է ապացուցումները Lean ֆորմալ լեզվով: Lean-ը ստուգում է յուրաքանչյուր սևագիրը փոփոխություններից հետո, իսկ սխալների հաղորդագրությունները հաջորդ փորձը հանգեցնում են:

Ավելի բարդ ենթախնդիրների համար համակարգը կարող է դիմել AlphaProof-ին՝ ապացուցման մասնագիտացված գործիքին: Google DeepMind-ը հավաստատում է, որ AlphaProof-ից նույնիսկ առանց համակարգը լուծեց ինը Erdős-ի խնդիր:

Քննադատում AI-ի մաթեմատիկայի դեբատների ֆոնին

Այս հետազոտությունը հրապարակվեց AI-ի մաթեմատիկայի շուրջ ծավալված դեբատների ֆոնին: OpenAI-ը մի քանի ժամ առաջ GitHub-ում հրապարակեց հազարավոր AI-ի կողմից գեներացված ապացուցում՝ դրանք ամսագրերում տեղադրելու փոխարեն: Տերենս Տաոի ղեկավարությամբ մարդկային մաթեմատիկայի ասոցիացիան կոչ է անում բոյկոտավորել այս մոտեցումը:

DeepMind-ը հակառակ կողմից իր աշխատանքը գործընկերների կողմից քննադատեց, արդյունքները հրապարակվեցին Science-ում:

Նյութերի աղբյուրները: The Decoder