Anthropic недавно объявила, что её Claude AI за 11 дней самостоятельно выполнил формальное доказательство Великой теоремы Ферма, сгенерировав около 13 миллионов строк кода, поддающегося построчной машинной проверке, что было подтверждено математиком Кевином Баззардом. Работа велась параллельно десятками интеллектуальных агентов Claude с использованием инструментов для сотрудничества Prove2Me, разработанных группой Пэн Тянь, которые координировали распределение задач в реальном времени через список дел; около 7% строк в доказательстве были получены из ранних ошибочных попыток; для формализации использовался язык Lean, позволяющий проверять каждый логический шаг с помощью компьютера.
xiyuПоделиться
Источник:Показать оригинал
Отказ от ответственности: Информация на этой странице может быть получена от третьих лиц и не обязательно отражает взгляды или мнения KuCoin. Данный контент предоставляется исключительно в общих информационных целях, без каких-либо заверений или гарантий, а также не может быть истолкован как финансовый или инвестиционный совет. KuCoin не несет ответственности за ошибки или упущения, а также за любые результаты, полученные в результате использования этой информации.
Инвестиции в цифровые активы могут быть рискованными. Пожалуйста, тщательно оценивайте риски, связанные с продуктом, и свою устойчивость к риску, исходя из собственных финансовых обстоятельств. Для получения более подробной информации, пожалуйста, ознакомьтесь с нашими Условиями использования и Уведомлением о риске.