OpenFrontiers: набор данных и бенчмарк для научного «воссоздания» LLM (arXiv:2610.37739v1)
OpenFrontiers — междисциплинарный ресурс, который объединяет структурированный корпус из 12 151 открытой научной задачи и ретроспективный бенчмарк из 200 математических задач (110 решены в 2026 году, 90 остаются открытыми), каждая формализована в Lean 4 с автоматической проверкой и независимыми рецензиями; также есть отфильтрованный HQ-50. Авторы описывают протокол оценки (closed-book, frozen-retrieval, live-web) и приводят результаты для семи LLM на HQ-50 при стандартизированном бюджете: закрытое воссоздание встречается редко (не более 7 из 40 решённых задач), а успехи в live-web в основном связаны с извлечением опубликованных решений; набор доступен в коллекции на Hugging Face.