OpenAI presenterade den 26 oktober ett resultat inom AI i datavetenskap: ett motbevis till exponentialtidshypotesen. Den handlar förenklat om hur snabbt beräkningsarbetet måste växa när vissa logiska problem blir större.
Forskarna ska granska beviset och förstå följderna
Antagandet har använts i hundratals forskningsarbeten, bland annat om databaser och beräkningsbiologi. Om det faller behöver forskarna ompröva slutsatser som bygger på det.
Enligt OpenAI har beviset kontrollerats i Lean, ett datorverktyg för matematiska bevis. En extern grupp, där två av hypotesens ursprungliga upphovspersoner ingår, ska granska och förklara resultatet.
Det innebär inte att vardagens datorprogram omedelbart blir snabbare. Att omsätta teorin i bättre beräkningsmetoder kräver betydande fortsatt forskning, betonar OpenAI. Nyheten gäller alltså en möjlig förändring av forskningens grundantaganden, inte en färdig användarprodukt.
Källor
Läs också
Ämnen i artikeln
- AI i datavetenskap
- AI & Forskning
