Ipinahayag ng OpenAI ang 3 malaking pag-angkop sa siyensiya noong 2026: Matematika, Computer Science at Pisika

2026/10/31 11:05:00

Noong Oktubre 26, 2026, sa isang pananaliksik na may pamagat na Working with academic communities to build scientific understanding, inilahad ng OpenAI na ang kanilang mga panloob na modelo ng pag-iisip ay naglikha ng tatlong malaking teoretikal na patunay na sumasaklaw sa pangunahing matematika, teoretikal na agham ng kompyuter, at matematikal na pisika. Kung patotohanan ng mas malawak na komunidad ng agham, ang mga natuklasan ay kumakatawan sa isang makabuluhang pag-unlad sa artificial intelligence: paglalakbay mula sa pagkilala sa empirikal na pattern at paggawa ng code patungo sa multi-step na deduktibong pag-iisip at teoretikal na paghahanap.

Hindi pagtuturing ang mga manuskrip na nilikha ng makina bilang nakapagtatag na agham na kasunduan, ipinakilala ni OpenAI ang isang eksperimental na framework para sa pag-verify na suportado ng isang kontribusyon na $5 milyon sa Simons Foundation. Sa pamamagitan ng kanyang inilalarawan bilang isang "akademikong tagapagdala" na pamamaraan, tinatayang ni OpenAI ang tatlong magkakaibang paraan ng pagpapahayag—mula sa direkta publikong pag-release sa GitHub kasama ang Lean formalizations hanggang sa mga independiyenteng working group na pinamumunuan ng mga pioneer sa larangan.

Sa tatlong pagpapahayag, sinasabi ng OpenAI na ang kanilang mga modelo ay nagproduksyon ng patunay sa lokal na pagpapakatatag na konjektura ni Sogge sa harmonic analysis, isang deterministiko na pagtutol sa Exponential Time Hypothesis (ETH) sa computational complexity, at isang masusing matematikal na patunay ng pagkakaroon para sa apat-dimensyonal na interaktibong quantum field theories (QFT), kabilang ang Quantum Chromodynamics (QCD).

Tinatalakay ng pagsusuring ito ang mga pangunahing konsepto sa likod ng bawat klaim sa simpleng mga termino, pinag-aaralan kung bakit mahalaga ang Lean formal verification at complexity theory sa larangan ng seguridad ng cryptocurrency at Web3, at tinataya ang mga prinsipyong pang-gobyerno na nagdidikta sa independiyenteng akademikong pagsusuri.

Pagsikat 1: Harmonic Analysis at Sogge’s Local Smoothing Conjecture

Ang unang resulta ay tumutukoy sa isang sentral na bukas na problema sa Euclidean harmonic analysis: ang local smoothing conjecture para sa wave equation, na ipinangako ni matematikong Christopher Sogge noong 1991.

Sa simpleng terminolohiya, ang wave equation ay nagmumodel ng kung paano nagpapalaganap ang mga alon, tulad ng mga alon ng tunog, liwanag, o mga alon sa dagat, sa kalawakan at panahon. Kapag nagkakasalubong ang maraming alon, maaari silang mag-interfere nang konstruktibo upang lumikha ng malalim at nakakapokus na mga spike ng enerhiya. Ang mga matematiko ay nagtrabaho nang higit sa tatlong dekada upang patunayan ang mga mahigpit na matematikal na patakaran na nagpapaliwanag kung gaano kalakas ang pagkonsentrasyon ng mga alon at kung paano ang pagpaparami ng kanilang pag-uugali sa isang maikling tagal ng panahon ay "nagpapalinis" ng mga anomaliya sa dalawa o higit pang dimensyon ng kalawakan. Bagaman mayroong bahagyang patunay sa dalawang dimensyon, ang pagpapatunay sa buong konjektura sa lahat ng dimensyon ng kalawakan ay nananatiling isang bukas na hamon.

Mekanismo ng Plain-Text: Mga Karagdagang Mga Paghahati-hating Pederal

Ayon sa teknikal na paglabas ng OpenAI sa kanilang openai/math GitHub repository, ang modelo ay nagbuo ng natural-language proof noong October 18, 2026, na naglutas ng konjektura sa bawat spatial dimension ng hindi bababa sa dalawa.

Hindi lamang batay sa tradisyonal na mga teknik ng geometric slicing, ang modelo ay nagbuo ng isang bagong auxiliary partial differential equation na sumusunod kung paano nagdudulas ang enerhiya ng alon sa paglipas ng panahon. Sa pagbabawas kung gaano kalakas ang pagkalat ng enerhiya, ang argumento ay nagpapigil sa pagpupuno ng mga wave packet dito sa mga light cones, na naglulutas ng mga teknikal na hadlang na dating naglimita sa mga patunay na may mas mataas na dimensyon.

Epekto sa ibaba: Pagbuksan ng Kakeya Conjecture

Sa purong matematika, ang Sogge's local smoothing conjecture ay gumagawa tulad ng isang pangunahing susi na nakaupo sa tuktok ng isang hirarkiya ng mga sikat na problema. Ang pagpapatotoo nito ay awtomatikong lulutasin ang ilang matagal nang hinaharap na konjektura sa geometric measure theory:

Ang Mga Konhektura ng Kakeya Maximal at Dimensyon: Nagmula sa isang puzzle noong 1917 na nagtatanong kung ano ang pinakamaliit na posibleng lugar na kailangan upang i-rotate ang isang unit na karayom nang buong 360 degrees, ang high-dimensional Kakeya conjecture ay nagsasabing anumang set na naglalaman ng isang unit na linya sa bawat direksyon ay dapat may buong dimensyon ng espasyo na ito'y tinatanggap. Sinasabi ng OpenAI na ang kanilang lokal na smoothing proof ay naglulutas ng parehong Kakeya at Nikodym maximal conjectures.

Ang mga estima ng pagsasaliksik ni Stein sa spherical: ang resulta ay nagtataguyod din ng loob na saklaw ng mga hangganan ng Fourier restriction na pinagsimulan ni Elias Stein noong dekada 1970, na nagpapaliwanag kung paano umuugnay ang mga alon kapag pinipigil sa mga kurbadong surface na spherical.

Upang suportahan ang independiyenteng pagsusuri, sinalin ng OpenAI ang manuscrip noong Oktubre 18 sa wikang Lean na theorem-proving noong Oktubre 19, 2026, at isinahad nang direkta sa publiko ang PDF na pagsusulat at ang machine-checkable na Lean proof.

Pagsobrang 2: Computer Science at ang Pagtutol sa Exponential Time Hypothesis

Ang pangalawa, at marahil ang pinakamasidhi, ang klaim ay tumutok sa mga pundasyon ng teorya ng computational complexity. Ibinalita ng OpenAI na ang kanilang modelo ay nagbuo ng pormal na pagtutol sa Exponential Time Hypothesis (ETH), na nagsasabing patunayan na ang malawakang pinaniniwalaang aksiyoma ay mali.

Ipinangako ni Russell Impagliazzo, Ramamohan Paturi, at Francis Zane sa pagitan ng 1999 at 2001, ang Exponential Time Hypothesis ay tumutukoy sa 3-SAT problem—isang klasikong lohikal na puzzle kung saan kailangang matukoy ng isang algorithm kung ang isang malaking set ng Boolean (totoo/mali) na switches ay makakapagpapatupad sa libu-libong nagsasalubong na patakaran. Habang tumataas ang bilang ng mga baryable (n), tumataas nang eksponensyal ang bilang ng mga posibleng kombinasyon.

Sa simpleng mga salita, ang ETH ay nagsasabi na walang computational shortcut para sa 3-SAT sa pinakamasamang kaso: ang anumang deterministikong algorithm ay kailangang gumamit ng eksaktong exponential time (naglalago sa isang rate na proporsyonal sa 2 raised to a constant fraction of n). Sa loob ng 25 taon, mga hundreds ng papel sa computer science ay ginamit ang ETH bilang pangunahing batayan upang patunayan na ang iba pang mahihirap na problema sa graph theory, network routing, at databases ay hindi maaaring lutasin nang mas mabilis kaysa sa exponential time.

Paano gumagana ang Ikinlaim na Algorithm

Noong Oktubre 16, 2026, ang panloob na modelo ng OpenAI ay nag-produce ng disproof ng ETH, na inayos ng koponan sa Lean sa susunod na araw (Oktubre 17). Ang manuskritong ito ay naglalaman ng isang deterministikong algoritmo na nagbilang ng eksaktong bilang ng mga wastong solusyon para sa mga Boolean formula ng fixed-width sa subexponential time habang gumagamit lamang ng polynomial memory space.

Dito, ang "subexponential time" ay nangangahulugan na ang runtime ng algorithm ay tumataas nang mas mabilis kaysa sa isang karaniwang exponential curve habang tumataas ang laki ng problema (tumpak na sumusunod sa proporsyon ng 2 raised to n dibide sa double logarithm ng n). Bagaman patuloy pa ring nangangailangan ng malaking komputasyon para sa malalaking input, ang paglilipas sa matematikal na hangganan mula sa stricly exponential patungo sa subexponential ay sapat upang tanggihan ang ETH sa papel.

Ano ang Kahulugan Nito Sa Kaligtasan ng Cryptocurrency at Blockchain?

Kahit kailan man ay isinapubliko ang isang pagbubukas sa computational complexity, natural na tanong ng mga investor sa digital asset kung ang mga cryptographic network tulad ng Bitcoin o Ethereum ay nasa panganib. Kahit ang pagtutol ni OpenAI sa ETH ay ganap na patunayan, hindi ito nagbubulag-bulagan sa blockchain cryptography, dahil sa tatlong pangunahing dahilan:

Panatilihin ang P vs. NP Barrier: Ang pagtutol sa ETH ay hindi nangangahulugan na P = NP. Ang subexponential time ay patuloy na mas mabagal kaysa sa polynomial time. Bukod dito, ang isang divisor tulad ng "log log $$$$" ay tumataas nang sobrang mabagal, kaya para sa mga laki ng problema sa real-world, ang teoretikal na pagpapabilis ay hindi nagiging praktikal na pagpapabilis sa runtime. Tinitiyak ng OpenAI na ang pagpapalit ng teoretikal na hangganan sa praktikal na pagpapabilis ng algorithm ay nangangailangan ng karagdagang malaking pananaliksik.

Pinakamasamang Kaso kumpara sa Karaniwang Kaso: Ang ETH ay nagmamasid lamang sa pinakamataas na hirap ng mga puzzle ng logical satisfiability. Ang modernong kriptograpiya, tulad ng SHA-256 hashing ng Bitcoin o mga digital na lagda sa elliptic curve (ECDSA), ay nakasalalay sa average-case cryptographic hardness at one-way mathematical traps na nananatiling ligtas kahit sa mga maliit na asymptotic shift sa paglutas ng SAT.

Potensyal na pagtaas para sa Web3 Verification: Sa halip na pagsira ng encryption, teoretikal na pag-unlad sa Boolean satisfiability (SAT) at counting algorithms ay pangunahing kapaki-pakinabang para sa mga tool para sa formal verification—na ginagamit ng mga developer upang i-check ang mga smart contract at mga limitasyon ng zero-knowledge (ZK) circuit para sa mga nakatago na bug.

Independiyang Pagsusuri ng mga Orihinal na Tagapagtatag ng ETH

Upang suriin ang claim sa computer science, tumawag ang OpenAI kay Russell Impagliazzo at Ramamohan Paturi (UC San Diego), dalawa sa mga orihinal na tagapagmungkahi ng Exponential Time Hypothesis, kasama si Ryan Williams mula sa MIT.

Sa isang pagsasamang liham-buksan sa komunidad ng agham pangkompyuter noong Oktubre 26, sumang-ayon ang tatlong mga mananaliksik na tumulong sa pag-organisa ng isang bukas, independiyenteng pagsusuri sa reklamasyon, habang pinapahalagahan ang isang malinaw na babala: "Hindi dapat ituring ang aming pagkakaaliwan bilang sertipikasyon ng reklamasyon." Gumagana nang walang mga akord na may pagsasama-samang lihim at walang bayad mula sa OpenAI, hiniling ng grupo, at sumang-ayon ang OpenAI, na ilabas ang lahat ng raw na data ng modelo sa publiko at bigyan ng pondo ang isang akademikong konperensya upang suriin ang mga natuklasan.

Pagsobrang 3: Matematikal na Pisika at ang Pagkakaroon ng 4D Quantum Chromodynamics

Ang ikatlong klaim ay tumutukoy sa konstruktibong quantum field theory, na pinangunahan ng renormalization framework ni Tadeusz Balaban, na naglalayong ilagay ang particle physics sa matibay na matematikal na pundasyon.

Sa modernong pisika, ang Standard Model, at partikular na ang Quantum Chromodynamics (QCD), na naglalarawan sa malakas na puwersang nuclear na nagpapakikisama sa mga quark sa loob ng proton at neutron, ay nagbibilang ng mga eksperimento sa particle collider na may kakaibang akurasyo. Gayunpaman, isang sikat na paradox ay nananatili na sa higit sa kalahating siglo: habang ginagamit ng mga pisiko ang apat-dimensyonal na quantum field theories araw-araw, hindi pa kayang patunayan ng mga matematiko na ang mga ekwasyong ito ay nananatiling matematikal na maayos kapag kinalkula sa patuloy, walang hangganang maliit na apat-dimensyonal na spacetime.

Noong nakaraan, natagumpay lamang ang mga matematiko na patunayan ang walang kamalian na pagkakaroon para sa mga pinasimpleng teorya ng field sa dalawa o tatlong dimensyon. Sa apat na dimensyon, ang pagkuha ng "kontinuumbong limitasyon" (pagsususupot ng isang diskretong grid sa pagkalkula patungo sa zero spacing) ay nagdulot ng pagtaas ng mga ekwasyon sa mga matematikal na walang hanggan.

Pagharap sa Problema ng Pagkakaroon ng Yang-Mills

Ayon sa timeline ng paglalabas ng OpenAI:

Setyembre 9, 2026: Ang panloob na modelo ay nagbuo ng patunay sa natural na wika na nagtatatag ng mahigpit na matematikal na pagkakaroon ng purong apat-dimensyonal na Yang-Mills theory, na tumutugon sa bahagi ng pagkakaroon ng sikat na Millennium Prize Problem ng Clay Mathematics Institute (kahit na ang pagpapatunay ng pagkakaroon lamang ay hindi awtomatikong lutasin ang buong "mass gap" na kahilingan ng parangal).

Setyembre 18, 2026: Ang modelo ay nagpalawig sa konstruksyon upang kasama ang mga gauge field na tumutugon sa mga fermion (mga partikulong matter tulad ng quarks), at nag-claim na nagtatag ng matematikal na pagkakaroon ng apat-dimensyonal na QCD at mga grand unified na kompletong bersyon ng Standard Model.

Pagsusuri na Pinangunahan ni Nobel Laureate David Gross

Ang limang miyembro ng panel sa pisika ay pinunuan ni David Gross—na nagbahagi ng Gantimpalang Nobel sa Pisika noong 2004 para sa pagkakatuklas ng asymptotic freedom sa QCD—kasama ang mga kilalang matematikong pisiko na si Arthur Jaffe (co-author ng opisyal na pahayag ng problema ng Clay Millennium Prize para sa Yang-Mills), Michael Douglas, Igor Klebanov, at Nikita Nekrasov (tagapagwagi ng Gantimpalang Dannie Heineman noong 2023). Pumili ang grupo na huwag pa ipaalam ang mga orihinal na manuskrito ng AI habang sila ay nag-iisa na sinusuri at isinusulat ang trabaho.

Ang Academic Shepherd Model at Lean 4 Verification

Ang paglalabas ng tatlong malalaking klaim nang sabay-sabay ay nagpapakita ng lumalaking bottleneck sa modernong agham: ang paggawa ng mga kumplikadong AI na manuskritong naglalaman ng mga pagsusuri ay nangangailangan ng mas maliit na oras kaysa sa kailangan ng mga tao upang i-verify ang mga ito. Noong una sa Oktubre 2026, inilabas ng OpenAI ang higit sa 700 na eksperimental na AI-generated na mga tala sa matematika, na nagdulot ng pagtutol mula sa mga matematiko na nag-aalala tungkol sa pagdudulot ng sobra sa tradisyonal na peer review.

Upang maiwasan ang pagpuno ng mga journal ng hindi naaayos na mga claim, isinagawa ng OpenAI ang apat na prinsipyo ng pamamahala para sa kanilang akademikong pagkakaisa:

Prinsipyo ng Pamamahala	Pangunahing Pagsisiguro	PRACTICAL NA KAHULUGAN PARA SA MGA ELIMINASYON
1. Transparensya	Walang Non-Disclosure Agreements (NDAs)	Ang mga panlabas na mananaliksik ay libreng makakapag-usap tungkol sa gawa, magbahagi ng mga intermediate na natuklasan, at magpahayag ng kritika o pagtutol nang walang limitasyon.
2. Walang akademikong kredito	Walang mga panlalang ng AI o mga pag-claim mula sa korporasyon	Hindi hinahanap ng OpenAI ang akademikong pagkakakilanlan o prioridad para sa mga modelo nito (tugma sa pagsisiguro nito noong Setyembre 2026 na hindi maghahangad ng Millennium Prizes).
3. Pagkilala	Kredito para sa mga Tao Expositor	Ang mga akademikong grupo ay nakakatanggap ng buong pagkilala sa mga paliwanag na isinusulat nila at tiyak na tama ang pagbanggit sa mga nakaraang pananaliksik ng tao.
4. Kalayaan	Pansamantala at Walang Bayad na Pagsusuri	Hindi natatanggap ng mga tagapagsuri anumang personal na kompensasyon mula sa OpenAI, upang siguraduhing mananatiling malaya ang kanilang mga konklusyon mula sa impluwensya ng korporasyon.

Bakit mahalaga ang Lean Verification

Para sa parehong matematika (local smoothing) at agham ng kompyuter (ETH) na mga resulta, pinairal ng OpenAI ang kaniyang mga papel sa natural na wika kasama ang pormal na patunay sa Lean, isang open-source na interactive theorem prover na sinuportahan ng Simons Foundation sa maagang yugto.

Sa Lean, isinusulat ang mga matematikal na pahayag bilang mahigpit na computer code. Kung ang isang hakbang ay naglalaman ng logikal na paglilipat o nakatagong halusinasyon, ang code ay simplye ay hindi makakapag-compile. Gayunpaman, pinapahalagahan ng mga akademikong komentador ang isang mahalagang pagkakaiba: habang nagtataguyod ang Lean na sumusunod ang isang pormal na patunay sa lohika mula sa mga kahulugan nito, kailangan pa rin ng mga eksperto sa tao na patunayan na ang pormal na code ay talagang nagsasalaysay ng orihinal na matematikal na tanong. Halimbawa, noong Oktubre 7, 2026, isinara ng OpenAI ang tatlong nakaraang manuskrito mula sa kanilang openai/math repository pagkatapos makita ang error sa sign sa pagsasalaysay ng problema.

Ang parehong teknolohiya ng pormal na pag-verify ay lalong naging pundasyon sa Web3 at cryptocurrency industriya. Ang mga blockchain ecosystem na may mataas na antas ng tiwala, mga zero-knowledge virtual machine (zkVMs), at mga institutional DeFi protocol ay nakikibatay sa interactive theorem provers tulad ng Lean 4 upang matematikal na i-verify na ang mga smart contract at cryptographic circuits ay hindi maaaring ma-exploit. Kung ang mga AI model ay maaaring maaasahan na isalin ang mga kumplikadong lohika sa verified Lean code, ang epekto nito sa automated smart contract auditing at pormal na pag-verify ng protocol ay maaaring malaki.

Kongklusyon

Ang pagpapahayag ni OpenAI noong Oktubre 2026 ay isang mahalagang pagsubok para sa pagkakakilanlan ng agham na may tulong ng AI. Sa pagpapairal ng mga modelo ng panloob na pag-iisip kasama ang Lean formal verification at pagbibigay ng pagsusuri sa mga pangunahing pahayag sa matematika, teorya ng kumplikasyon, at quantum physics sa mga independiyenteng eksperto tulad ni Impagliazzo, Paturi, Williams, at Gross, ang inisyatibo ay naglilipat ng frontier AI pababa sa mga simpleng benchmark. Habang mayroon pa ring ilang buwan ng masusing akademikong pagsusuri bago maconsider na nakapagpapatibay na agham ang mga patunay na ito, ang pagkakasundo ng automated theorem proving at bukas na pagsusuri ay nagtatag ng malakas na paunlakan para sa teoretikal na pananaliksik at mga mataas na antas ng seguridad sa kriptograpikong sistema.

Madalang itanong

Ano ang 3 scientific breakthroughs ng OpenAI na inanunsyo noong October 2026?

Noong Oktubre 26, 2026, inanunsyo ng OpenAI na ang kanilang mga panloob na modelo ay nagproduko ng tatlong malalaking teoretikal na resulta: (1) isang patunay sa Sogge’s local smoothing conjecture sa bawat dimensyon, na naglulutas din ng Kakeya conjecture. (2) isang deterministiko na subexponential algorithm na tumutol sa Exponential Time Hypothesis (ETH) sa computer science. (3) isang matematikal na pagpapatotoo sa pagkakaroon ng apat-dimensyonal na interaktibong quantum field theories, kabilang ang Quantum Chromodynamics (QCD).

Nagbabalewala ba ang pagtutol sa Exponential Time Hypothesis sa bitcoin o crypto encryption?

Hindi. Kahit na patunayan ng mga independiyenteng kompyuter scientist ang pagtutol sa ETH, hindi ito patotoo na P = NP at hindi ito gumagawa ng mabilis na praktikal na solver na kakapabalot sa mga kriptograpikong susi. Ang blockchain hashing (SHA-256) at digital signatures ay nakabatay sa average-case cryptographic hardness kaysa sa worst-case 3-SAT bounds, at binanggit ng OpenAI na ang kanilang teoretikal na resulta ay hindi nagdadala ng agad na real-world runtime speedups.

Napatunayan na ba ng scientific community ang mga patunay na nilikha ng AI?

Hindi pa. Habang ipinakalabas ng OpenAI ang mga machine-checked na Lean proof para sa mga matematika at computer science na pahayag sa GitHub, kailangan pa rin ng mga panlabas na scholar na patunayan na ang pormal na code ay tumpak na kumakatawan sa orihinal na mga konjektura. Ang grupo ng pagmamarka sa computer science ay direktang isinampa na ang kanilang pagkakaaliw ay isang independiyenteng pagsusuri, hindi isang pagpapahintulot, at ang grupo sa pisika na pinamumunuan ng Nobel laureate na si David Gross ay patuloy pa ring nag-e-evaluate sa mga manuskrip ng QCD.

Paano pinapagana ng OpenAI ang independiyenteng akademikong pag-verify?

kasama ang kanyang walang bayad, walang NDA na mga pangkat ng "akademikong tagapag-alaga", ang OpenAI ay nagbigay ng $5 milyon sa Simons Foundation bilang bahagi ng $15 milyong pagsasamahan (kasama ang Anthropic) na inihayag noong Oktubre 2026 upang pagsanayin ang mga akademikong workshop, konperensya, at mga kasangkapan na makakatulong sa mga siyentipiko na masuri ang mga patunay na nilikha ng AI.

Disclaimer

Ang pangkalahatang impormasyon sa merkado na ito, maaaring mula sa mga third-party, komersyal, o sinponsoran na pinagmulan, ay ibinibigay lamang para sa refrensya at edukasyonal na layunin at hindi nagtataglay ng financial o investment na payo, tawag, panawagan, o jamin. Kami ay nagtatanggi sa anumang pananagutan para sa kawastuhan, kakahusayan, katiyakan nito, at anumang mga pagkalugi na nagmumula dito. Ang pag-invest at pag-trade ay may panganib; ang nakaraang performance ay hindi nagjanin ng mga resulta sa hinaharap. Dapat mag-imbento, maghatol nang maingat, at tanggapin ang buong pananagutan ang mga gumagamit. Para sa karagdagang detalye, mangyaring basahin ang Mga Tuntunin ng Paggamit at Pagpapahayag ng Panganib ng KuCoin.

Disclaimer: AI technology ang ginamit sa pag-translate ng page na ito para sa convenience mo. Para sa pinaka-accurate na impormasyon, mag-refer sa original na English version.