OpenAI GitHub-ка ИИ таһаарбыт 372 математическай түмүгүн тарҕатта — түөрт кээмэйдээх Какея гипотезатыттан Риман гипотезатыгар диэри
OpenAI өссө таһаарыллыбатах иһинээҕи модель оҥорбут 372 түмүк дьиэ кэргэнигэр холбоммут 722 илиинэн суругу бэчээттээтэ. Элбэх дакаастабыл Lean-ҥа бэрэбиэркэлэммит, ол эрээри математиктар промптар уонна моделга киирии суоҕун кириитикэлииллэр.
2026 сыл алтынньы 6 күнүгэр OpenAI GitHub репозиторийыгар математическай түмүктэр улахан хомуурунньуктарын таһаарда (АХШ илин чааһынан 18:00, PT 15:00). The Verge иһитиннэрэринэн, онно 372 түмүк дьиэ кэргэнигэр холбоммут 722 илиинэн суруйуу баар; барыта өссө таһаарыллыбатах инники кирбиилээх модель үлэтэ.
Тугу этэллэр
- OpenAI этэринэн, түмүк аайы математика эбэтэр теоретическай информатика аһаҕас боппуруоһун быһаарар эбэтэр улаханнык инники сыҕарытар.
- Scientific American суруйарынан, олор истэригэр түөрт кээмэйдээх Какея гипотезатын быһаарыыта, суолталаах компьютер алгоритмнарын тупсарыы уонна Риман гипотезатыгар инники хардыы баар.
- Дакаастабыллар элбэхтэрэ дакаастабыллары бэрэбиэркэлиир Lean тылыгар хайыы-үйэ бэрэбиэркэлэммиттэр, онон сөптөөх буолуохтара чахчы; атыттарын математиктар ыйдар тухары үөрэтиэхтэрэ.
- OpenAI бэрэстэбиитэлэ Scientific American-ҥа этэринэн, түмүктэр сороҕо суох барыта биир ИИ-агекка бэриллибит биир промптан тахсыбыттар (сорохторугар хас да холонуу наада буолуон сөп диэн эппит). Урукку Навье — Стокс түмүгүн, төттөрүтүн, мөлүйүөннэр дуоллардаах суоттааһыннаах 10 000 агент «үөрэ» оҥорбута. The Verge OpenAI тылын аҕалар: «орто түмүк» ChatGPT Pro үс чаас кэриҥэ толкуйдааһынын курдук суоттааһыны ылбыт.
Кириитикэ
OpenAI балаҕан ыйыгар мунньубут математиктар тус-туспа сүбэлиир бөлөхтөрө түмүк аайы модели, чопчу промпту уонна суоттааһын кэмин бэчээттииргэ сүбэлиир. OpenAI орто кэми уонна сорох статистиканы эрэ көрдөрөр — промпта суох — уонна бу сүбэлэр кини иннигэр булгуччулаах буолбатах диир. «Туоһулуур докумуоннары көрдүөхтээхпит», — диэбит Scientific American-ҥа MIT математига Эндрю Сазерленд. Дэниэл Литт (Торонто университета) бэчээттээһини өйөөбүт, оттон Теренс Тао ИИ-лабораториялар түмүктэрин «өйө суох» тэтимин кириитикэлээбитэ.
Бэлиэтээһин: бу OpenAI этиилэрэ; Lean-ҥа формализацияламматах түмүктэри тус-туспа бэрэбиэркэлээһин саҕаланан эрэр.