Anthropic досягла прогресу в дослідженні гіпотези Рімана з ще не опублікованою моделлю

Anthropic розкрила, що ще не опублікована модель досягла прогресу в дослідженні гіпотези Рімана, результати якої були підтверджені внутрішніми математиками компанії та формалізовані за допомогою відкритого доказового помічника Lean. Цю модель протестував співробітник з незначним математичним досвідом, і протягом приблизно півтора днів постійної співпраці було протестовано 650 ідей, залучивши 60 підагентів для розподілу роботи. Конкретний розподіл включав 2 підагенти, відповідальні за висунення ключових математичних ідей, 13 підагентів, які доповнювали ключові ідеї, та 13 підагентів, які перевіряли правильність міркувань. Зі збільшенням таких результатів обговорення участі ШІ в доказах у математичній спільноті також активізується. Нещодавно OpenAI оприлюднила 10 важливих математичних результатів, доведених внутрішньою моделлю, а ще один проект Anthropic спростував давню гіпотезу Якобіана. Гіпотеза Рімана досі не доведена, і зовнішні організації встановили винагороду в 1 мільйон доларів за її доведення.

Цей контент надано лише для загальних інформаційних цілей і не є фінансовою, інвестиційною, юридичною чи податковою консультацією. Події, нагороди, онлайн-акцій або пов’язану інформацію, згадана тут, не слід розглядати як рекомендацію, прохання чи запрошення до купівлі, продажу, торгівлі чи інших операцій з криптоактивами. Криптоактиви є дуже волатильними та можуть призвести до збитків. Доступність послуг, продуктів WEEX та пов’язаних із ними подій може відрізнятися залежно від регіону. Ви несете відповідальність за забезпечення відповідності вашої участі чинному місцевому законодавству та нормативним актам.