Веб-разработчик с помощью ИИ закрыл 50-летнюю гипотезу.
Известный веб-разработчик Дэн Абрамов 18 сентября опубликовал машинно проверенное доказательство гипотезы Конвея об измельчении. Пять недель он направлял ChatGPT и Claude и потратил вычислений примерно на 40 тысяч долларов. Программа проверки доказательств результат принимает, но ни один математик его не читал.
Почему это важноМашины теперь заверяют доказательство, которое не прочёл ни один человек, и это меняет круг тех, кто занимается математикой. Заодно у трудного результата появилась цена: пять недель и стоимость подержанной машины.
▶ Видео по теме: John Horton Conway | The surreal numbers
Читайте в приложении — бесплатно, 9 языков
Похожие новости
Открытая модель China Telecom умещается на игровой видеокарте.2026-09-20Claude Code теперь читает файл правил, который берут конкуренты.
2026-09-19Модель Zhipu втрое ускорила систему, которая её же раздаёт.
2026-09-19Alibaba открыла модель, находящую 146 болезней по снимкам КТ.
2026-09-19Агент Muse от Meta теперь читает файлы на вашем Mac.
2026-09-19