Мультиагентна система Anthropic використовує 60 субагентів та верифікацію Lean для математичних доведень
Anthropic розгорнула експериментальну модель на 60 спеціалізованих субагентів для дослідження гіпотези Рімана. Мультиагентна архітектура витратила 31 мільйон токенів за 36 годин і перевірила результати за допомогою інструменту верифікації Lean.
Чому це важливо
Демонструє, як розділення систем на агенти дослідження, валідації та написання кодів у поєднанні з детермінованими інструментами верифікації типу Lean усуває галюцинації в складних логічних сценаріях.
Відкрити повністю