Тимоти Гауэрс: самые известные математические задачи ИИ решает контрпримерами, а не док...
Тимоти Гауэрс: самые известные математические задачи ИИ решает контрпримерами, а не доказательствами Лауреат Филдсовской премии Тимоти Гауэрс в свежем посте обратил внимание на важный паттерн. Самые громкие математические прорывы LLM (больших языковых моделей) почти всегда происходили через поиск контрпримеров, а не через построение полных доказательств. Это касается и результатов внутренней модели OpenAI Astra, которая закрыла 10 долго открытых проблем (включая первую конструкцию несофичной группы), и более ранних опровержений гипотезы Эрдёша о единичном расстоянии или якобианской гипотезы. Гауэрс подчёркивает: модели уже сильны в поиске «дыр» и примеров, но в конструктивных доказательствах самого высокого уровня пока уступают. Это спокойный и честный взгляд одного из ведущих математиков мира на то, где именно ИИ уже меняет математику, а где ещё далеко. Источники: https://gowers.wordpress.com/2026/08/12/what-sort-of-maths-are-llms-good-at/ https://www.techmeme.com/260816/p4 #AI #математика #LLM #OpenAI #наука #Gowers