1
ИИ решил задачу, люди не могли 80 лет
ИИ OpenAI решил математическую задачу Эрдоша
Модель OpenAI решила задачу Эрдоша о единичных расстояниях, над которой математики бились 80 лет. Ведущие эксперты, включая профессоров Принстона и Коллеж де Франс, подтвердили валидность и значимость решения. Сокращенная версия «цепочки мыслей» ИИ составила более 75 000 слов.
80 лет человеческих усилий против 32 часов и $1000 токенов для ИИ. Кажется, у нас появился новый кандидат на Нобелевскую премию, и он не ест и не спит.
«Искусственный интеллект смог сделать здесь то, что многие выдающиеся исследователи-люди пытались сделать, но потерпели неудачу, — Нога Алон, профессор Принстонского университета»