Anthropic заявила, что Claude опровергла ETH независимо от OpenAI
Anthropic заявила, что Claude опровергла ETH независимо от OpenAI ETH — гипотеза о нижней границе времени решения вычислительных задач. По статье, внутренняя модель Claude нашла решение 16 октября. В отчёте OpenAI стоит та же дата 🤔 По утверждению Anthropic, Claude потратила 14 млн выходных токенов — единиц сгенерированного текста. Решение получено без участия человека: сотрудники помогали только довести изложение до статьи. Заявленный результат — детерминированный алгоритм, то есть алгоритм без случайного выбора шагов, для 3-SAT за время 2^o(n). В 3-SAT нужно найти значения логических переменных, удовлетворяющие всем условиям из трёх литералов — переменных или их отрицаний. Здесь n — число переменных, а o(n) означает, что показатель степени растёт медленнее n. ETH утверждает, что существует фиксированная константа δ > 0, при которой решить эту задачу быстрее чем за 2^(δn) нельзя. Поэтому заявленный алгоритм опровергает гипотезу. Кроме того, по сообщению Anthropic, модель решила более сложную задачу #3-SAT: посчитала число всех удовлетворяющих условиям наборов значений. Материалы доступны в конкретной версии репозитория anthropics/formal-math. Материалы: — https://hexagonmath.org/2610.00577v1 — GitHub — anthropics/formal-math: https://github.com/anthropics/formal-math/tree/16a5ce41304fcdaea4e0be7c132e1c361dc26da5/eth Источник: https://t.me/data_secrets/10222 #RealVibe #AI #AI_Новости