Веб-разработчик с помощью ИИ закрыл 50-летнюю гипотезу.
Известный веб-разработчик Дэн Абрамов 18 сентября опубликовал машинно проверенное доказательство гипотезы Конвея об измельчении. Пять недель он направлял ChatGPT и Claude и потратил вычислений примерно на 40 тысяч долларов. Программа проверки доказательств результат принимает, но ни один математик его не читал.
Почему это важноМашины теперь заверяют доказательство, которое не прочёл ни один человек, и это меняет круг тех, кто занимается математикой. Заодно у трудного результата появилась цена: пять недель и стоимость подержанной машины.
▶ Видео по теме: John Horton Conway | The surreal numbers
Читайте в приложении — бесплатно, 9 языков
Похожие новости
Пятьдесят ИИ-агентов построили в Minecraft город с бюрократией.2026-10-30DoorDash получил от ИИ-агентов лишь несколько сотен заказов.
2026-10-30Новые правила OpenAI запрещают её ИИ сопротивляться отключению.
2026-10-30OpenAI считает, что новый надзор раньше поймал бы её же взлом.
2026-10-30Личный агент Claude подрядчика два месяца работал в сети Пентагона.
2026-10-30