сегодня поговорим про математику; в каком-то смысле проблема математики состоит в том, что математиков просто мало - я имею в виду, что математика быстрее порождает открытые вопросы, чем их решает
с этим в некотором смысле помогает ИИ, подборка новостей про решение открытых математических проблем:
- был такой легендарный математик Эрдёш, который в качестве наследия оставил более тысячи открытых вопросов; GPT5.4 недавно помогла решить задачу №1202
- группа математиков из OpenAI помогла GPT неуточненной версии решить сначала три, а потом еще пять задач из того же списка
- китайские коллеги из Пекинского университета разработали подход из двух агентов - один рассуждает, а второй перекладывает рассуждения на формальный язык Lean4, который позволяет верифицировать доказательства; c помощью системы они тоже решили известную задачу, но не из списка Эрдёша
P.S. кстати, коллеги из OpenAI не первый раз занимаются задачами Эрдёша
P.P.S. а китайские коллеги выложили код своей системы
