Забытое доказательство и цифровой археолог: как ИИ нашел ответ на 20-летнюю математическую загадку
Забытое доказательство и цифровой археолог: как ИИ нашел ответ на 20-летнюю математическую загадку 🔍 Представьте: в мире математики есть «список Эрдёша» — сборник нерешенных задач от легендарного учёного. Одна из них, под номером 339, оставалась открытой более 20 лет. Недавно ИИ от OpenAI «решил» её. Но самое интересное не в этом. Оказалось, что доказательство уже существовало. Ещё в 2003 году три математика написали статью, где ответ на загадку Эрдёша был скрыт в одной из теорем. Но работу просто не заметили...