OpenAI hævder modeller har modbevist ETH
Anthropic har også offentliggjort et modbevis, og dataloger vil undersøge konsekvenser for P versus NP og kryptografi.
OpenAI og Anthropic hævder modbevis
OpenAI offentliggjorde løsninger på tre opsigtsvækkende matematiske problemer. Et var et overraskende modbevis mod Exponential Time Hypothesis, ETH, en udbredt antagelse i datalogien.
OpenAI valgte en forskellig proces for hvert fagområde: Matematikerne fik arbejdet på GitHub, datalogerne nedsatte en arbejdsgruppe og bad om offentliggørelse og en konference, og fysikerne nedsatte en gruppe, der skal afgøre, hvordan deres resultat offentliggøres.
Timer senere offentliggjorde Anthropic sit eget modbevis. Anthropic-matematiker Levent Alpöge antydede, at OpenAI byggede på eksisterende arbejde. Reaktionerne har været blandede.
ETH forklarer hvorfor problemer er svære
ETH handler om en bestemt slags svære logiske puslespil. Den siger, at selv den hurtigste algoritme skal bruge eksponentielt mere tid for at finde en løsning, når antallet af variable vokser. Det støtter antagelsen om, at P ikke er lig med NP.
P versus NP handler om, hvorvidt ethvert problem, hvis løsning hurtigt kan tjekkes, også hurtigt kan løses. Sudoku viser forskellen: Løsningen kan tjekkes hurtigt, men det tager tid at finde den. Kryptografi bygger på, at forskellen er reel.
OpenAI og Anthropic hævder, at deres modeller har fundet algoritmer, der løser den slags puslespil på subeksponentiel tid, hurtigere end ETH forudsiger. Holder det, er ETH modbevist, og det åbner en mulig vej mod P = NP.
Dataloger vil revurdere og tjekke kryptografi
MIT-professor Ryan Williams organiserer datalogernes svar. Han har tidligere kaldt en OpenAI-offentliggørelse i oktober for et »DDOS-angreb på matematikere«, men sagde ja til at samarbejde. Første skridt var et åbent brev med opfordring til feedback og diskussion af normer for AI-bidrag.
Williams siger, at dele af beviset kan virke rutinemæssige, men at to eller tre dele ser fremmedartede ud og kræver fælles arbejde. Han mener, at dataloger bør tillægge muligheden for P = NP lidt større vægt, men at vægten kan variere, og at det ikke er det endelige svar.
Før de videnskabelige spørgsmål kommer sikkerheden. Williams spurgte Dan Roberts, science lead hos OpenAI, om ændringen påvirker kryptosystemer. Ifølge Williams havde OpenAI tjekket det og var rimeligt sikre på, at det ikke indebar brud.
Mange artikler fra det seneste årti har bygget på ETH og skal revurderes, hvis modbeviset holder.
Flere detaljer
- OpenAI bad Williams fortolke løsningen sammen med Russell Impagliazzo og Ramamohan Paturi.
- Impagliazzo og Paturi publicerede ETH i 1999.
- Williams er bekymret for uddannelsen af næste generation af forskere.
Kilder:
TechCrunch AI →
Genfortalt i egne ord af AI-nyheder.com · Tjek altid originalkilden, før du handler på vigtige oplysninger.