ИИ самостоятельно решил задачу Эрдёша, решение одобрено математиками
Модель искусственного интеллекта (ИИ) решила математическую задачу, над которой бились 80 лет. Задача о плоских единичных расстояниях, впервые поставленная венгерским математиком Полом Эрдёшем в 1946 году, задаёт, казалось бы, простой вопрос: если разместить n точек на плоскости, сколько пар точек могут находиться на расстоянии ровно 1? Эрдёш утверждал, что это число будет расти чуть быстрее, чем количество точек.Самый точный верхний предел, установленный человеком для этой задачи, был зафиксирован в 1984 году. Однако на прошлой неделе компания OpenAI
ИИ решил задачу Эрдёша — но есть нюанс
DeepMind прогнали своего агента Aletheia по 700 открытым задачам из списка Эрдёша. Результат: одна из них теперь закрыта — это вторая математическая проблема, решённая ИИ без участия человека. Теренс Тао уже обновил трекер.Но давайте на цифры. Агент вернул 212 «уверенных» ответов. После проверки людьми: — 137 (68,5%) — фундаментально ошибочны — 13 (6,5%) — реально решают то, что имел в виду ЭрдёшКаждый шестнадцатый. Остальное — галлюцинации или решение не той задачи.Авторы честно пишут: «Любой из этих вопросов мог бы легко решить нужный эксперт». Проблема не в сложности — до этих задач у людей просто не доходили руки 40 лет.
