Siguro ay nakita mo ang panel na “OpenAI proved ETH is false.” Huminga ka nang malalim. Kahit gaano pa kakaibang mukha, hindi ito tungkol sa ETH, at walang kinalaman sa Ethereum. Dito ang ETH ay ang Exponential Time Hypothesis, isang 2001 na aksiyoma tungkol sa kahirapan ng pinakamahirap na mga problema sa computer science. Sa simpleng salita, mayroong isang textbook na mahirap na problema na tinatawag na SAT: isang mahabang lohikal na pormula, kailangan hanapin ang mga halaga na gagawin itong totoo. Lahat ay nagsasabing ang tanging paraan ay subukan lahat ng 2^n na kombinasyon, o halos iyon. Mga sandaling “itong gawain ay ganoon kaliliti tulad ng SAT” ay nakabatay sa aksiyomang iyon. Isang OpenAI model ay sumulat ng 67-pahina na papel na may algoritmo na gumagawa nito nang mas mabilis kaysa sa 2^n. Kung tama ito, patay na ang aksiyoma at maraming teorya ay mababago. Ang lean formalization ay nai-release na, at tatlong pinakamataas na complexity theorists ay kasalukuyang tinataya ito.