OpenAI teigia, kad jos modelis Astra išsprendė 10 matematikos problemų

„OpenAI“ rugpjūčio 1 d. paskelbė, kad vidinė „Astra“, kitos jos pagrindinės modelių šeimos, versija pateikė dešimties ilgalaikių atvirų matematikos ir teorinės informatikos problemų sprendimus, kurių bendros užklausų sąnaudos pagal „Sol API“ įkainius siekė maždaug 2 000 JAV dolerių.openai

Šios problemos kėlė sunkumų mokslininkams bent dešimtmetį. Jos apima daugiamatę geometriją, kodavimo teoriją, aritmetinių grandinių sudėtingumą, grupių teoriją, operatorių algebras, kvantinį sudėtingumą, gardelių kriptografiją ir ekstremaliąją kombinatoriką. Mokslininkai, naudodami tą patį modelį, parengė argumentus į rankraščius, o modelis kiekvieną įrodymą formalizavo „Lean“ kalba, skirta mašininiu būdu tikrinamoms teoremoms. „OpenAI“ viešai paskelbė visus sertifikatus ir samprotavimo įrašus.forklog+1

Ką išsprendė „Astra“

Dešimt rezultatų apima naujas viršutines sferų pakavimo tankio ribas iki Cohn-Elkies slenksčio, konstrukciją, įrodančią nesofinių grupių egzistavimą: centrinį grupių teorijos klausimą, atvirą nuo 1999 metų: ir Conneso standumo hipotezės apie von Neumanno algebras paneigimą. „Astra“ taip pat pateikė naujas apatines aritmetinių grandinių sudėtingumo ribas permanento skaičiavimui, eksponentinio lygiagretaus kartojimo teoremą dviejų žaidėjų kvantiniams žaidimams ir polinominio daugiklio aproksimavimo sudėtingumą artimiausio vektoriaus problemai, kuri yra svarbi pokvantinei kriptografijai.forklog+1

Modelis išsprendė Ehrharto tūrio hipotezę visose dimensijose, pateikė supereksponentinę apatinę ribą daugiaspalviams trikampių Ramsey skaičiams, taip išspręsdamas Erdőso 183-iąją problemą, ir nagrinėjo kompaktiškumo bei išsigimimo hipotezes ekstremaliojoje grafikų teorijoje, išspręsdamas Erdőso 146-ąją ir 180-ąją problemas.openai

Mančesterio universiteto matematikas Thomas Bloomas rezultatus apibūdino kaip „didžiulę naujieną“ ir „reikšmingą žingsnį“.forklog

„Astra“ lieka neišleista

„Astra“ nebuvo išleista viešai. Samas Altmanas liepos pabaigoje Vašingtone pademonstravo modelį JAV senatoriams ir reguliuotojams, ir jis gali tapti pirmuoju sisteminiu pavyzdžiu, pateiktu pagal Trumpo administracijos planuojamą AI modelių įvertinimo prieš išleidimą sistemą. Kaip praneša „The Information News Corp“ ↘ 1.67%, „OpenAI“ nenusprendė, ar „Astra“ bus išleista kaip GPT-6, ar kaip GPT-5 linijos variantas, ir jokia išleidimo data nebuvo nustatyta.softonic+2

Noamas Brownas, vienas iš „Astra“ samprotavimo technologijos autorių, pažymėjo, kad modeliui nepavyko išspręsti Tūkstantmečio premijos problemų: septynių klausimų, kuriuos Clay matematikos institutas 2000 metais įvardijo kaip svarbiausius matematikoje. „OpenAI“ aiškiai pareiškė, kad „žmogaus autorystės priskyrimas įrodymui, kurį visiškai sugeneravo dirbtinio intelekto sistema, klaidingai pavaizduotų tiek sistemos indėlį, tiek tikro žmogaus intelektinio darbo pobūdį“.forklog+1