ChatGPT упершыню дапамог даказаць нявырашаную геаметрычную гіпотэзу

З мінімальным удзелам людзей.

Даследнікі са Свабоднага ўніверсітэта Бруселя паведамілі, што мадэль ChatGPT-5.2 змагла дапамагчы даказаць матэматычную гіпотэзу па геаметрыі, якая раней не мела фармальнага даказу. ШІ стварыў структуру даказу, а людзі праверылі правільнасць развагаў.

Пра гэта піша выданне SciTechDaily.

Новае даследаванне паказала, што камерцыйныя моўныя мадэлі здольныя генераваць арыгінальныя матэматычныя даказы. Каманда лабараторыі Data Analytics Lab адзначае, што ChatGPT-5.2 (Thinking) здолеў самастойна працаваць над даказам задачы, прапанаванай матэматыкамі Ранам і Тэнгам у 2024 годзе. Гіпотэза — гэта сцверджанне, якое лічаць правільным на аснове назіранняў, але якое яшчэ не даказана. Пасля даказу яна становіцца тэарэмай.

Паводле даследавання, канчатковы даказ сфарміраваўся пасля сямі чат-сесій з ChatGPT і чатырох версій аргументацыі. Мадэль дапамагала знаходзіць падыходы да вырашэння, у той час як даследчыкі правяралі логіку і паўнату даказу.

Аўтары адзначаюць, што ChatGPT-5.2 стварыў значную частку структуры даказу з мінімальнай дапамогай людзей. У лабараторыі лічаць, што гэта адзін з першых прыкладаў, калі даступная шырокай грамадскасці моўная мадэль змагла самастойна распрацаваць арыгінальны матэматычны даказ. Постдактарант Брэхт Вербекен сказаў, што даўно дапускаў магчымасць выкарыстання ChatGPT для нявырашаных задач, але быў здзіўлены тым, наколькі гэта аказалася эфектыўна.

Каманда апісвае падыход як «vibe-proving» — метад, у якім моўныя мадэлі дапамагаюць структураваць складаныя тэарэтычныя ідэі. Даследчыкі таксама параўноўваюць яго з «vibe-coding», дзе ШІ дапамагае ствараць код. Прафесар Вінсент Гініс адзначыў, што існуе меркаванне, нібыта творчасць такіх сістэм абмежавана перафармулёўкай навучальных даных, але вынікі працы гэта абвяргаюць.

У той жа час даследчыкі падкрэсліваюць, што ўдзел чалавека застаецца неабходным для фінальнай праверкі і ўстаранення прабелаў у даказе. Моўныя мадэлі дапамагаюць хутчэй фармуляваць магчымыя даказы, але праверка ўсё яшчэ патрабуе часу. Прафесар Андрэс Алгаба падсумаваў, што гэты працэс можа паскорыцца, і моўныя мадэлі, верагодна, дапамогуць і на этапе праверкі.

Вы можаце падтрымаць сайт Charter97.org наступным чынам:

РАЗЛІКОВЫ МУЛЬТЫВАЛЮТНЫ РАХУНАК ДЛЯ АХВЯРАВАННЯЎ:

Назва банка: Bank Millennium S.A.
Адрас: ul. Stanislawa Zaryna, 2A, 02-593, Warszawa
IBAN: PL97116022020000000216711123
SWIFT: BIGBPLPW
Імя ўладальніка рахунку: Fundacja “KARTA ‘97”
рызначэнне аплаты: Darowizna na cele statutowe

Звязацца з намі можна праз адрас [email protected]