Нил Сомани, основатель стартапа Eclipse и бывший аналитик хедж-фонда Citadel, заявил, что решил задачу Эрдёша #281 с помощью GPT-5.2 Pro. Теренс Тао, выдающийся современный математик, верифицировал доказательство, назвав его "возможно, самым однозначным примером" решения открытой математической задачи с помощью ИИ. Однако вскоре история получила неожиданный поворот. Задача #281 из теории чисел, сформулированная Эрдёшем в 1980 году, касалась покрывающих систем конгруэнций. Вопрос заключался в следующем:...