Компьютеры сами искали теоремы — и кое-что нашли
Компьютеры сами искали теоремы — и кое-что нашли 24 августа DualverseAI описала Station v2: «научный городок» без начальника. Там работают ИИ-агенты — программы, которые сами ставят опыты и пишут отчёты. 951 агент на GPT-5.5, Claude Opus 4.8 и Gemini 3.1 Pro провёл 33 130 опытов и оставил 1 592 статьи коллегам. На 5 из 12 задач из списка AlphaEvolve (Google DeepMind) вышло то, чего не было в старых работах. Образ: число касаний — сколько равных шаров умещается вокруг одного такого же. В 11 измерениях агенты собрали схему на 604 точки вместо прежних 593. Сильнее самой цифры объяснение, почему схема работает. Авторы честно пишут: до человеческой интуиции ещё далековато... Источники: https://arxiv.org/abs/2608.23691 https://dualverse.ai/station/ #AI #математика #AIAgents #AlphaEvolve #DualverseAI