Пользователь Reddit создал ARC-AGI-N: открытый инструмент, который находит нерешённые задачи в математике и естественных науках и формирует рабочий контекст для AI-агента. Вместо названия вроде «гипотеза Эрдёша — Штрауса» агент получает саму задачу, материалы, первое задание и свежие ссылки. Главное: • 41.6% → 67.2% — текущий результат по доле нулей дзета-функции • 99.9% — результат GPT-Astra в тесте ARC-AGI-3 • 11 дней — на формализацию в Lean доказательства Ферма • 72 часа — рекомендуемый план на первые трое суток Примеры с Claude и GPT-Astra приведены как мотивация, а не как итоги работы ARC-AGI-N; эффективность инструмента на реальных задачах пока не подтверждена. Что это значит: AI-агент может выйти за пределы синтетических бенчмарков и взяться за задачу, которую человечество действительно не решило.