Автономные агенты нашли новые математические результаты в открытой среде
Autonomous Mathematical Discovery in an Open-World Multi-Agent Environment
В статье представлена среда Station, где AI-агенты из разных семейств моделей автономно исследуют математические задачи без центрального координатора. Агенты сами выбирают направления, проводят эксперименты и создают общую научную литературу. В ходе работы над 12 задачами из каталога AlphaEvolve и двумя дополнительными кейсами были получены новые результаты по пяти проблемам, включая новые бесконечные семейства множеств Каки, конфигурации касания в 11-мерном пространстве и улучшенные нижние оценки для задач Эрдёша. Агенты также создали теоремы и доказательства, делающие результаты интерпретируемыми. Все диалоги, доказательства и код опубликованы.
Агенты создали не только численные конструкции, но и теоремы и анализы, объясняющие, как эти конструкции работают, что делает результаты более интерпретируемыми и облегчает их использование математиками.
- dash2
> Агентам также периодически давали отпуска, во время которых они откладывали свою текущую работу и получали случайные подсказки, призванные поощрять свободное мышление.
В каком мире мы живём. Эти ребята заново изобрели старший общий зал Кембриджа для ИИ.
- anigbrowl
Если вы не читали «Город Перестановок» Грега Игана, тот факт, что вы нажали на это обсуждение, означает, что вы получите от него много пользы.
- StrauXX
Это очень напоминает мне вот эту статью на LessWrong. https://www.lesswrong.com/posts/znbfRXHq285nS7NAh/the-terrar...