Впервые ChatGPT решил ранее не доказанную геометрическую задачу

Новое исследование показало, что ChatGPT-5.2 способен создавать оригинальные математические доказательства, применяя так называемый "метод интуитивного доказательства" в рассуждениях искусственного интеллекта. Хотя ИИ ускоряет процесс открытий, проверка человеком остается необходимой.

Ученые из лаборатории анализа данных VUB продемонстрировали, что коммерческая языковая модель OpenAI ChatGPT-5.2 смогла самостоятельно решить математическую задачу. В центре эксперимента была гипотеза 2024 года, предложенная математиками Раном и Тэном – утверждение, основанное на закономерностях, но пока не формально доказанное. После нахождения корректного доказательства гипотеза может стать теоремой. Согласно исследованию, окончательное доказательство было получено после семи сеансов общения с ChatGPT и четырех эволюционных версий аргументации. Модель создала основную структуру доказательства, а исследователи проверяли его корректность и логическую последовательность.

Команда отмечает, что ChatGPT-5.2 сформировал большую часть доказательства при минимальном вмешательстве человека. Как заявляют ученые: "Мы одними из первых показали, что коммерчески доступная LLM может самостоятельно разрабатывать оригинальные математические доказательства".

Исследователи рассматривают эту работу как часть более широкой методологии, которую они называют "доказательство вибраций", где языковые модели помогают систематизировать и исследовать сложные теоретические идеи. Они также сравнивают этот подход с "кодированием вибраций" – развитием программирования с ИИ, от простых инструментов до почти автономной генерации кода.