Новое исследование представляет Станцию — среду открытого мира, где ИИ-агенты из разных семейств моделей сотрудничают в математических исследованиях без центрального координатора. Система позволяет агентам выбирать собственные направления, проводить эксперименты и создавать общую литературу.
На 12 задачах из каталога Alpha Evolve и двух дополнительных тематических исследованиях Станция получила новые результаты по пяти задачам. Среди них — новое бесконечное семейство множеств Какейи над конечными полями, точные конфигурации поцелуя из 604 точек в размерности 11 и улучшенные границы для задач дискретизированной иглы Какейи и знаковой неопределенности.
Исследование также достигло существенно улучшенной нижней границы для задачи минимального перекрытия Эрдёша. Помимо численных результатов, агенты генерировали теоремы и пояснительные анализы, делая свои результаты интерпретируемыми и полезными для будущей работы.
Все диалоги агентов, доказательства и код проверки публикуются открыто, предоставляя прозрачную запись процесса открытия. Это шаг к автономному научному исследованию в математике.
Источник: Hacker News · Сводку подготовил HeadlinesBriefing