Сиолошная

Terence Tao, «Моцарт от мира математики», завёл страничку на GitHub, где отслеживает решение задач из списка Эрдёша (считающиеся нерешёнными проблемы) с помощью ИИ-инструментов. Как он сам пишет, сложность задач сильно различается: на одном конце спектра находится кучка ​​очень интересных, но чрезвычайно сложных проблем, а на другом — «длинный хвост» малоизученных проблем, многие из которых являются относительно легкодоступными, идеально подходящими для решения с помощью современных ИИ-инструментов. Некоторые из задач уже были решены в литературе, но об этом почти никто не знал — например, когда какое-то утверждение доказывали в ходе совсем другого доказательства, или что-то из чего-то являлось следствием. Часто доказательства спрятаны в малопопулярных старых работах, и потому люди, даже потратив условно день времени, просто не находили их. Совсем недавно решения нескольких из них помогла «вспомнить» GPT-5 Pro, вы про это наверняка слышали — такие примеры тоже отслеживаются на этой странице. Но куда более интересен раздел, где поиск по литературе ничего не дал, и математики, то и дело поглядывающие на список задач, не могут вспомнить, что где-то видели решения (что не гарантирует, что их не публиковали). По сути это открытые проблемы, на которые хотя бы какое-то время смотрели опытные математики, и не смогли предложить решение. Сейчас на сайте размещено 676 открытых задач. Что может быть лучше такого сборника в одном месте? Да OpenAI и DeepMind накинутся на этот список — думаю, в ближайшие месяцы страница будет обновляться достаточно часто, а потом наверняка какая-то компания за раз выложит десятки решений. Вот это будет день и для математиков, и для развития ИИ!