ИИ полностью автономно решил загадку геометрии, над которой бились 80 лет

Внутренняя нейронка OpenAI в одно лицо раскатала знаменитую гипотезу Эрдёша 1946 года о единичных расстояниях. Для понимания: это не проходная задачка со звездочкой, а фундаментальная проблема комбинаторной геометрии, над которой кожаные мешки безуспешно ломали головы 80 лет. Эрдёш полагал, что обычная квадратная сетка - это предел для максимума пар точек на плоскости с расстоянием ровно 1. Оказалось, дед ошибался.

Самое обидное для профильной тусовки - то, как именно машина это решила. Пока люди десятилетиями пытались штурмовать проблему в лоб через геометрию, ИИ забил на стандарты и копнул в теорию чисел, виртуозно прикрутив к решению теорему Голода-Шафаревича из 60-х.

Причем весь пайплайн отработал без людей: одна нейронка сформулировала условие, вторая выдала доказательство, а третья всё провалидировала. Живых ученых из Принстона позвали только под конец, чтобы они с умным видом прочитали препринт и поставили печать "Одобрено".

🥸 Новости IT: 📱 Telegram | 📱 ВК | 📲 MAX