OpenAI segir Astra líkan sitt hafa leyst 10 óleyst stærðfræðidæmi

OpenAI tilkynnti þann 1. ágúst að innri útgáfa af Astra, næstu stóru líkanagrunni fyrirtækisins, hafi skilað lausnum á tíu langvarandi óleystum dæmum í stærðfræði og fræðilegri tölvunarfræði fyrir heildarkostnað upp á tæplega 2.000 dali á Sol API-taxta.openai

Dæmin höfðu staðið í vísindamönnum í að minnsta kosti áratug og ná yfir fjölvíða rúmfræði, kóðunaraframfræði, flækjustig reikningsrása, hópfræði, virkjaalgebru, skammtaflækju, grindardulkóðun og jaðarsamröðunarfræði. Mennskir rannsakendur unnu röksemdirnar í handrit með því að nota sama líkanið, sem síðan formaði hverja sönnun í Lean, forritunarmáli fyrir tölvuprófaðar setningar. OpenAI hefur birt öll vottorð og rökræðuskrár opinberlega.forklog+1

Hvað Astra leysti

Tíu niðurstöðurnar fela í sér ný efri mörk á þéttleika kúlupökkunar niður að Cohn-Elkies mörkunum, smíði sem sannaði tilvist hópa sem eru ekki sófískir: miðlæg spurning í hópfræði sem var óleyst frá 1999: og afsönnun á stífleikagátu Connes um von Neumann algebru. Astra skilaði einnig nýjum neðri mörkum á flækjustigi reikningsrása við útreikning á fasta, veldisvísis-samhliða endurtekningarsetningu fyrir tveggja leikmanna skammtaleiki, og marghliða-þátta hörku nálgunar fyrir næsta vigur dæmið, sem hefur þýðingu fyrir skammtaöryggisdulkóðun.forklog+1

Líkanið leysti rúmmálsgátu Ehrharts í öllum víddum, framleiddi ofurveldisvísis neðri mörk fyrir marghliða þríhyrnings Ramsey-tölur sem leysti Erdős dæmi 183, og fjallaði um þéttleika- og úrkynningargátur í jaðarlínuritafræði sem leysti Erdős dæmi 146 og 180.openai

Thomas Bloom, stærðfræðingur við háskólann í Manchester, lýsti niðurstöðunum sem „stórum fréttum“ og „verulegu skrefi“.forklog

Astra er enn óútgefið

Astra hefur ekki verið gefið út opinberlega. Sam Altman sýndi bandarískum þingmönnum og eftirlitsaðilum í Washington líkanið í lok júlí, og það gæti orðið fyrsta kerfið sem lagt er fram samkvæmt fyrirhuguðu mati Trump-stjórnarinnar á gervigreindarlíkönum fyrir útgáfu. Samkvæmt The Information News Corp ↘ 1.67% hefur OpenAI ekki ákveðið hvort Astra verði gefið út sem GPT-6 eða sem afbrigði innan GPT-5 línunnar, og enginn útgáfudagur hefur verið ákveðinn.softonic+2

Noam Brown, einn höfunda rökfærslutækni Astra, benti á að líkaninu tókst ekki að leysa árþúsundamarkadæmin, sjö spurningar sem Clay stærðfræðistofnunin skilgreindi árið 2000 sem þær mikilvægustu í stærðfræði. OpenAI tók skýrt fram að „að lýsa yfir mennskum höfundarrétti á sönnun sem er algjörlega framleidd af gervigreindarkerfi myndi gefa ranga mynd af bæði framlagi kerfisins og eðli raunverulegs mennsks vitsmunalegs starfs.“forklog+1