От эмпирики к теоретическому доказательству
Большинство современных AI-систем для науки (например, ChemCrow или Galactica) ориентированы на эмпирические дисциплины с четкими количественными бенчмарками. Однако области, требующие строгой логической верификации и синтеза знаний (теоретическая физика, прикладная математика), остаются «серой зоной». Исследователи из Китая (включая авторов из Шанхайского университета и Университета Фудань) предложили решение — ReasFlow, систему, которая имитирует работу аспиранта под руководством Principal Investigator (PI).
Архитектура: Аудит и Самосовершенствование
ReasFlow не просто генерирует текст, а выстраивает процесс научного открытия через два ключевых механизма:
- Внутренний цикл верификации (Internal Verification Loop): Агент самостоятельно проверяет логическую связность выводов и исправляет фундаментальные ошибки до того, как результат увидит человек. Это критически важно для математики, где одна ошибка в цепочке доказательств обесценивает всю работу.
- Автоматический поиск эвристик: Система не только извлекает декларативные факты из литературы, но и находит упущенные процедурные эвристики (методы решения), что позволяет ей автономно проектировать алгоритмы и доказывать теоремы.
Результаты: 5 полных статей
В ходе тестирования ReasFlow была развернута для автономной генерации пяти полных исследовательских статей. Каждая работа содержала как строгий теоретический аппарат, так и эмпирические эксперименты. Система работала с минимальными входными подсказками (prompts), самостоятельно проходя этапы синтеза литературы, дизайна алгоритма, доказательства теорем и подготовки рукописи.
При оценке с помощью LLM-based review rubric (рецензирование, имитируемое языковыми моделями), ReasFlow продемонстрировал наивысшие баллы среди всех открытых базовых моделей (baselines), доступных на момент публикации.
Доступность и перспективы
Платформа ReasLab уже доступна публично, предоставляя рабочее пространство для коллаборативных теоретических исследований. Это знаменует переход от AI как инструмента «генерации идей» к AI как полноправному соавтору, способному выполнять рутинную, но сложную работу по формализации и проверке научных гипотез.
Источник: arXiv cs.AI ↗