ansumandas441/Двигатель математических открытий

Инструмент для автоматизированного поиска новых математических результатов на основе существующих данных. Применяет алгоритмические техники для генерации гипотез, что может быть полезно в контексте AI for Science и автоматизированного доказательства теорем.