MATHEMATICAL EXPLORATION AND DISCOVERY AT SCALE

Аватар автора
Paper debate
AlphaEvolve: Тестирование в Математических Задачах Источники представляют собой выдержки из научной статьи, подробно описывающей AlphaEvolve, эволюционный кодирующий агент на основе больших языковых моделей (LLM), предназначенный для автономного открытия математических конструкций и решения давних открытых проблем. Система использует LLM для генерации программ-мутаций, которые затем оцениваются и уточняются в итеративном процессе, часто действуя в режиме поиска эвристических алгоритмов или в режиме обобщения для вывода формул из частных случаев. В статье демонстрируется применение AlphaEvolve к широкому спектру задач в области комбинаторики, геометрии и анализа, где он либо воспроизводит лучшие известные результаты, либо, в нескольких случаях, находит улучшенные решения или контрпримеры (например, в задачах упаковки и некоторых неравенствах). Авторы также обсуждают ограничения системы и ее потенциал для классификации сложности математических гипотез в будущем. отправить донаты: USDT: 0xAA7B976c6A9A7ccC97A3B55B7fb353b6Cc8D1ef7 BTC: bc1q8972egrt38f5ye5klv3yye0996k2jjsz2zthpr ETH: 0xAA7B976c6A9A7ccC97A3B55B7fb353b6Cc8D1ef7 SOL: DXnz1nd6oVm7evDJk25Z2wFSstEH8mcA1dzWDCVjUj9e создано с помощью NotebookLM

0/0


0/0

0/0

0/0