Словарь
Задачи Эрдёша
Математические задачи и гипотезы, которые сформулировал венгерский математик Пал Эрдёш, в основном в комбинаторике, теории чисел и теории графов. За решение некоторых из них он назначал денежные премии. Многие задачи десятилетиями остаются открытыми. Их собирает база erdosproblems.com, которую ведёт математик Томас Блум, и по ней проверяют, способны ли ИИ-системы находить новые доказательства.