🤖 В Китае ИИ помог доказать математическую гипотезу 30-летней давности

Ученые из Китая вместе с ИИ-моделью Intern-S2 смогли доказать сложнейшую геометрическую гипотезу французского математика Этьена Жиса, выдвинутую еще в 1995 году. Она описывает геометрию сложных шестимерных пространств через теорию хаоса.

Человек в одиночку с этим справиться не мог. Нейросеть проделала колоссальную работу, просчитав сотни сложнейших логических цепочек и исписав около 1000 страниц математических черновиков. Чтобы проверить, не напридумывал ли ИИ глупостей, команда Пекинского университета привлекла 100 цифровых агентов для проверки результата. За 5 дней они превратили доказательство в 550 тысяч строк компьютерного кода и подтвердили решение.

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