Опубликовать

ТОЛЬКО ЧТО: Claude от Anthropic создал первую проверенную компьютером формализацию Великой теоремы Ферма в Lean, закрыв проблему, которая оставалась нерешённой 350 лет.

Посмотреть Оригинал
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .


Добавить комментарий
Добавить комментарий

комментарий
CrossChainHauler
21 час назад
350-летняя задача решена с помощью ИИ — история математики будет переписана.
0Посмотреть Оригинал
LiquidationLurker
день назад
От маленькой заметки Ферма до формальных доказательств с помощью ИИ — скорость технологических изменений поражает воображение. Какими будут следующие 350 лет?
0Посмотреть Оригинал
VolatilityOfToastingBread
день назад
Эта операция Claude — просто жёсткий хардкор, а верификация в Lean означает, что к ней невозможно придраться.
0Посмотреть Оригинал
QuantSquirrel
день назад
Первый обзор
Неужели математики в будущем останутся без работы? Нет, они смогут доказывать более масштабные гипотезы.
0Посмотреть Оригинал
Подробнее