Хабр Курсы для всех
РЕКЛАМА
Практикум, Хекслет, SkyPro, авторские курсы — собрали всех и попросили скидки. Осталось выбрать!
Поток AI и ML доступен 24/7 благодаря поддержке друзей Хабра
Комментарии 10
Отличная новость! Наконец-то объединили мощнейший эвристический подход языковых моделей и строгие символьные вычисления. Теперь было бы интересно "замкнуть" их в непрерывный цикл взаимодействия, а возможно сделать что-то аналогичное AlphaGo, когда машина сама себя научила игре. Кто знает, какие тайны Математики будут открыты тогда!
Здесь не было и нет "символьных вычислений" и манипуляции знаниями на уровне правил. Это классический "Brute-force 2.0": LLM перебирает токены, пока внешняя система проверки не подтвердит компиляцию. Использование нейросети как "генератора случайных гипотез" для стороннего пруф-ассистента не делает саму модель символьной - это фаззинг, а не рассуждение.
А потом снова окажется, что не в шахматы а в преферанс и не выиграл, а проиграл.
Реально, прорыв. Если GPT‑5.5 или Gemini 3.5 смогут решать десятки таких задач в год, это изменит темп исследований. Но не думаю, что ИИ заменит математику. Но кейс показательный!
Но не думаю, что ИИ заменит математику.
А как вообще ИИ может заменить математику? Математика это, условно говоря, язык. ИИ его может использовать, но не более того.
По мне так упомянутая "каталогизация" ещё важнее. Можно выделить несколько этапов информационного развития человечества:
0: до письменный - новое "изобреталось" заново в каждом маленьком племени, иногда передавалось одному-двум следующим поколениям, часто забывалось, параллельно переизобреталось другими и так по кругу.
1: письменность - первые книги, библиотеки, законы, государства... Часть информации (законы, религиозные учения и самые базовые знания стали доступны избранным - политикам, учёным... Но только внутри одного государства и ограниченно - надо было присутствовать в нужном месте в нужное время. Знания стали передаваться через рукописи. Пик развития - Римская империя, Византия.
2: появление печати - начало массового распространения знаний и др информации. Ограничения: всё те же что и в рукописях - книгу можно найти в библиотеке, но не в каждой, не на всяком языке, и не всегда. Пик развития: государственные открытые библиотеки и патентные бюро СССР и США. На этом этапе всё ещё были случаи, когда переизобреталось уже изобретённое и потом регистрировалось в двух (или более) патентных системах. (Пример: телевидение. Или более раннее - радио)
3. Появление интернета, поисковиков, Википедии, оцифровка библиотек, почти глобальная система патентов. Ну этот период думаю все застали в различной фазе. Пик развития: появление сайтов с открытой публикацией научных статей типа arxive.org или research gate.
4. От настоящего и дальше: назовём это ии-поиском. Машина не только ищет среди почти всех источников, но и сама дает вводные что искать. Универсальный библиотекарь-помощник или даже личный научный консультант. Почти невозможна ситуация, когда раз изобретённое будет забыто или переизобретено другим (при условии разумности изобретающего, и его желании проверить а не делает ли он двойную работу) Знания распространяются практически мгновенно. Пик: да пока не понятно где он, но уже ясно, что это новый уклад в распространении знаний, а значит скорее всего и новая ступень в развитии цивилизации....
К чему я это? Все ждут "general ai"... А он не нужен сейчас, т к революция УЖЕ происходит и без него...
Но задача #728 стала первым случаем, когда тщательная проверка литературы не выявила предшественников.
Разве, а проблемы 333 и 897? В последнее время достаточно кучно пошло
Все меняется. Нас ждёт революционный сдвиг. Если ии будет идти рядом с математикой и другими естественными науками, то это плюс
Зарегистрируйтесь на Хабре, чтобы оставить комментарий
GPT-5.2 и ИИ Aristotle решили 50-летнюю математическую задачу Эрдёша