ИИ-моделите започнаха да решават сложни математически задачи

Миналия уикенд софтуерният инженер Нийл Сомани тества математическите възможности на новия ИИ-модел на OpenAI и направи изненадващо откритие. Той зададе на ChatGPT сложна математическа задача, даде на чатбота 15 минути да помисли и след това предложи решение.

Изследователят е оценил доказателството, формализирал го е с помощта на инструмент от Harmonic и е установил, че е правилно. Той бил още по-впечатлен от веригата от разсъждения на ChatGPT – в нея изкуственият интелект възпроизвел формулата на Лежандр, постулата на Бертран и теоремата за звездата на Давид. Той също така в Math Overflow открил публикация от 2013 г., която предлага решение на подобна задача. Окончателната версия на ChatGPT предоставя пълно решение на една от задачите, поставени от легендарния математик Паул Ердьош – неговата колекция от нерешени задачи сега се е превърнала в тестова площадка за изкуствения интелект.

Този удивителен резултат не е уникален — ИИ-моделите вече се използват широко в математиката: инструментите за “Дълбоко изследване“ на OpenAI отговарят за прегледа на литературата, а Harmonic Aristotle формализира доказателствата. Моделът GPT-5.2 на OpenAI, според Нийл Сомани, се е доказал като по-умел в разсъжденията от предишните версии —- те вече са се научили да решават останалите отворени задачи, като по същество разширяват границите на човешкото познание.

Паул Ердьош остави след себе си над хиляда предположения, които са документирани от онлайн общността на математиците – и те са установили, че GPT-5.2 е изненадващо добър в решаването на най-сложните математически задачи. Между 25 декември 2025 г. и днес са решени 15 задачи на Ердьош, 11 от които включват изкуствен интелект. Известният математик Терънс Тао е открил осем задачи на Ердьош, където изкуственият интелект е постигнал значителен напредък; в други шест случая прогресът е постигнат чрез открития и по-нататъшно развитие на по-ранни изследвания. Изкуственият интелект все още не би могъл да ги реши изцяло без човешка намеса, но ролята му става все по-важна. „Поради това много от по-простите задачи на Ердьош вече е по-вероятно да бъдат решавани само чрез AI методи, отколкото чрез човешки или хибридни средства“ — заключава Тао.

Другият важен фактор — преминаването към формализация. Това е трудоемка задача, която опростява проверката и разширяването на математическите разсъждения; тя не изисква изкуствен интелект или дори компютри, но сега се появиха инструменти, които значително опростиха този процес. Например, инструментът Lean, разработен от Microsoft Research през 2013 г., стана популярен; Harmonic Aristotle позволява значителна автоматизация на тази задача. Внезапният скок в броя на решените задачи на Ердьош доведе до факта, че споменаването на услуги като Aristotle или ChatGPT добавя достоверност към материалите в професионалната общност.