OpenAI: ИИ экспоненциальнай кэм гипотезатын өттөөн көрдөрбүт диир; Impagliazzo, Paturi уонна Williams аһаҕас бэрэбиэркэни салайаллар
OpenAI этэринэн, моделлара ETH гипотезатын Lean-ҥа бэрэбиэркэлэммит өттөөһүнүн уонна математика, квантовай теория эйгэлэригэр түмүктэри биэрбиттэр. Өссө рецензиялаабатахтар; Impagliazzo, Paturi уонна Williams ETH туһунан туспа экспертизаны тэрийэллэр.
2026 сыл алтынньы 26–27 күннэригэр OpenAI иһинээҕи моделлар үс биллэриллибит научнай түмүгү биэрбиттэрин туһунан биллэрдэ: уустук теориятыгар экспоненциальнай кэм гипотезатын (ETH) өттөөһүн, Kakeya уонна Stein restriction гипотезаларыгар тиэрдэр локальнай сглаживание дакаастабылын уонна квантовай хромодинамиканы киллэрэн сорох түөрт кээмэйдээх квантовай хонуу теорияларын баар буолуутун түмүктэрин. Компания академиялыын үлэлиир туһунан сурук таһаарда; TechCrunch ETH туһунан биллэриини уонна таһыттан хоруйу суруйда.
OpenAI ETH туһунан тугу этэр
Impagliazzo, Paturi уонна Zane этиллибит ETH куруук элбэх уустук соругу (SAT-ка сыһыаннаах) үксүн экспоненциальнай кэм иһинэрин этэргэ туттуллар. OpenAI этэринэн, системата ETH-ы сымыйа гынар детерминированнай субэкспоненциальнай алгоритмы булбут, алтынньы 16 күнүгэр тыл суругун уонна алтынньы 17 күнүгэр Lean формализациятын оҥорбут уонна иккиэннэрин аһаҕас GitHub-ка таһаарбыт. Компания ETH өттөөһүнэ P vs NP-ны быһаарар суоҕун чуолкайдыыр.
Туспа бэрэбиэркэ, бигэргэтии буолбатах
ETH төрүттээччилэрэ Russell Impagliazzo уонна Ramamohan Paturi (UC San Diego) уонна Ryan Williams (MIT) салайар бөлөх аһаҕас туспа экспертизаны тэрийэргэ сөбүлэспит. Williams эппит: кинилэр NDA илии баттаабатахтар уонна төлөбүр ылбаттар, OpenAI-тан сырьевой дааннайдары аһаҕастык таһаарарга көрдөөбүттэр уонна уопсастыбаны ИИ оҥорбут прорывтарга сиэрдэри оҥорорго ыҥырбыттар. Кинилэр кыттыылара бэрэбиэркэ процеһа, бигэргэтии буолбатах; TechCrunch бэлиэтииринэн, Anthropic кэлин бэйэтин ETH өттөөһүнүн эмиэ таһаарбыт.
Хааччахтар
OpenAI суруктары «сырьевой чинчийии дааннайдара» диэн ааттыыр уонна таһынан эксперттэри «пастух» быһыытынан үлэлииргэ ыҥырар. Үс биллэрииттэн биирдэрин да рецензиялаабатахтар. ИИ дакаастабылларын уруттааҕы «бырахыылара» Lean толору биллэриллибит этиини бэрэбиэркэлээбитин туһунан мөккүөрү таһаарбыттара. Биллэриилэри бэрэбиэркэлэнэр этиилэр быһыытынан аахыҥ, бигэргэммит теорема быһыытынан буолбатах.