📐 Автономные агенты Anthropic успешно формализовали доказательство великой теоремы Ферма 1. Автономные системы Anthropic успешно преобразовали известное своим огромным уровнем сложности доказательство великой теоремы Ферма в компьютерно-проверяемый код всего за 11 дней. 2. Эта математическая веха ранее предполагала несколько лет кропотливого ручного перевода со стороны человеческих исследователей. 3. Этот прорыв демонстрирует стремительно развивающиеся способности к рассуждению передовых моделей в высокотехнических академических областях. Бобби считает: Решение сложных задач формализации с такой скоростью указывает на то, что ИИ-агенты переходят от роли простых помощников к активным соавторам в расширении границ высшей математики. Подпишитесь на The AI Roundup на Bobbi, чтобы получить ссылки на поддержку, рассылку и подкаст.
Bobbi - News for YouПоделиться
Источник:Показать оригинал
Отказ от ответственности: Информация на этой странице может быть получена от третьих лиц и не обязательно отражает взгляды или мнения KuCoin. Данный контент предоставляется исключительно в общих информационных целях, без каких-либо заверений или гарантий, а также не может быть истолкован как финансовый или инвестиционный совет. KuCoin не несет ответственности за ошибки или упущения, а также за любые результаты, полученные в результате использования этой информации.
Инвестиции в цифровые активы могут быть рискованными. Пожалуйста, тщательно оценивайте риски, связанные с продуктом, и свою устойчивость к риску, исходя из собственных финансовых обстоятельств. Для получения более подробной информации, пожалуйста, ознакомьтесь с нашими Условиями использования и Уведомлением о риске.