Maaaring higit na ipaglaban ng AI ang isa sa pinakamahalagang ipinagpapalagay sa computer science. Ngunit ang mas malaking kuwento ay hindi ang ETH. Noong Oktubre 26, inanunsyo ni OpenAI na nagawa ng isang panloob na AI model ang isang sinasabing pagtutol sa Exponential Time Hypothesis (ETH)—isang pangunahing konjetura na batayan ng mga hundreds na resulta sa computational hardness. Ang claim: Isang deterministic, subexponential-time algorithm para sa eksaktong pagbilang ng mga satisfying assignments sa fixed-width Boolean formulas. Kung tama, mababagsak ang ETH. At mababagsak din ang ilang mas malakas na konjetura. Ngunit ang P ≠ NP ay patuloy pa ring hindi nalulutas. At teoretikal na mas mabilis ay hindi nangangahulugang praktikal na kapaki-pakinabang. Ang patotoo ay naformalize sa Lean. Isang independiyenteng pagsusuri ang inaayos ni Russell Impagliazzo, Ramamohan Paturi, at si Ryan Williams ng MIT. Ang kanilang pakikilahok ay hindi isang pagpapakilala. Ang independiyenteng pagpapatotoo ay patuloy na kailangan. Ang aking pananaw: Maaari naming makikita ang tatlong pagbubukas, hindi isa lamang. Matematikal: Maaaring maibagsak ang matagal nang hadlang sa computational complexity. Agham: Maaaring lumilipat ang AI mula sa pagtutulungan sa mga mananaliksik patungo sa pagbuo ng tunay na bago at orihinal na kaalaman. Institusyonal: Dapat muli nating isipin kung paano pinapatotohanan, nauunawaan, pinapahalagahan, at muling isasagawa ang mga pagkakatuklas sa agham. Ang ikatlo ay maaaring maging pinakamalaking epekto. Sa libu-libong taon, ang pagbuo ng mga pagkakatuklas sa pinakamataas na antas ay nangangailangan ng limitadong tao at taon-taong pananaliksik. Ano ang mangyayari kung ang AI ay maaaring magbuo ng kredibleng matematikal na pagkakatuklas nang mas mabilis kaysa sa kakayahan ng tao na patotohanan at unawain ito nang independiyente? Ang bottleneck ay lumilipat mula sa pagkakatuklas patungo sa pagpapatotoo, interpretasyon, at siyentipikong paghuhusga. At sa wakas, maaaring paalisin din ng AI ang mga prosesong ito. Ang tunay na punto ng pagbabago ay hindi ang AI na lumulutas ng isang sikat na problema. Ito ay ang AI na paulit-ulit na papalawakin ang hangganan ng kaalaman ng tao. Hindi pa natin ito matatapos na naisasagawa. Ngunit ang pag-unlad na ito ay dapat bigyan ng seryosong pansin. Ang tanong ay hindi na lamang kung gaano katalino ang AI. Kundi kung kaya ba ng ating mga institusyong siyentipiko na mag-ebolusyon nang sapat na mabilis upang masuri kung ano ang natuklasan ng AI. OpenAI announcement: https://t.co/G0p0VEMjlC Research papers at Lean formalizations: https://t.co/jVif4w5JKB #ArtificialIntelligence #ScientificDiscovery #OpenAI #ComplexityTheory #AIResearch #ComputerScience #FutureOfAI #AgenticAI