OpenAI pranešė apie vidinės AI sistemos rezultatą, paneigiantį Exponential Time Hypothesis
Spalio 26 dieną OpenAI pranešė, kad vidinė AI sistema gavo rezultatą, paneigiantį Exponential Time Hypothesis (ETH) – seniai žinomą prielaidą apie Boolean satisfiability problemų skaičiavimo sudėtingumą.
Bendrovė nurodė, kad šis rezultatas vėliau buvo patikrintas naudojant Lean – formalų įrodymų tikrinimo įrankį.
Atskirai Anthropic pranešė, kad spalio 16 dieną nepriklausomai pasiekė ETH paneigiantį rezultatą, pasitelkusi kitą metodą.
Abiejų bendrovių įrodymai tuo metu dar nebuvo iki galo patvirtinti žmonių tyrėjų.
ETH buvo naudojama kaip pagrindas sąlyginiams rezultatams šimtuose teorinės informatikos darbų.
