Автономные агенты нашли новые математические результаты в открытой среде

Autonomous Mathematical Discovery in an Open-World Multi-Agent Environment

В статье представлена среда Station, где AI-агенты из разных семейств моделей автономно исследуют математические задачи без центрального координатора. Агенты сами выбирают направления, проводят эксперименты и создают общую научную литературу. В ходе работы над 12 задачами из каталога AlphaEvolve и двумя дополнительными кейсами были получены новые результаты по пяти проблемам, включая новые бесконечные семейства множеств Каки, конфигурации касания в 11-мерном пространстве и улучшенные нижние оценки для задач Эрдёша. Агенты также создали теоремы и доказательства, делающие результаты интерпретируемыми. Все диалоги, доказательства и код опубликованы.

Агенты создали не только численные конструкции, но и теоремы и анализы, объясняющие, как эти конструкции работают, что делает результаты более интерпретируемыми и облегчает их использование математиками.
  1. robotresearcher

    У меня одновременно две мысли по поводу антропоморфизации этих систем:

    1. Нам следует делать это реже, потому что это искажает нашу способность думать о них правильно. Называя эти процессы «мышлением», «каникулами» и т. д., мы приглашаем читателя привносить идеи и ожидания, которые не оправданы тем, что происходит в системе.

    2. Хорошо продолжать это делать, потому что многократное использование снижает особенность или магию, которую люди, кажется, приберегают для нашего собственного поведения («Это не по-настоящему интеллект/мышление/рассуждение/творчество») без каких-либо обоснований этой позиции, кроме чувств.

    Я склоняюсь ко второму.

  2. dash2

    > Агентам также периодически давали каникулы, во время которых они откладывали свою текущую работу и получали случайные подсказки, предназначенные для поощрения открытого мышления.

    В каком мире мы живем. Эти ребята заново изобрели Кембриджскую старшую общую комнату для ИИ.

  3. anigbrowl

    Если вы не читали «Город перестановок» Грега Игана, тот факт, что вы кликнули на это обсуждение, означает, что вы получите от него много пользы.

  4. StrauXX

    Это очень напоминает мне эту статью на LessWrong. https://www.lesswrong.com/posts/znbfRXHq285nS7NAh/the-terrar...

  5. daxfohl

    Это захватывающе и, оглядываясь назад, вполне логично. Иногда «свежий взгляд» на проблему — это все, что нужно. Кто-то, кто приходит с другим опытом, может понять проблему в других терминах и работать над ней под другим углом. Не обязательно, чтобы этот человек выполнял работу, достаточно просто «это напоминает мне... вы не думали попробовать что-то в этом роде?», что может вывести команду из ступора после того, как она думала об этом одинаково и не продвигалась.

Ещё за этот день

2026-08-28