Olympiad-level formal mathematical reasoning with reinforcement learning

计算机科学 人工智能 强化学习 数学证明 推论 任务（项目管理） 芯（光纤） 形式化方法 算法学习理论 班级（哲学） 比例（比率） 机制（生物学） 钥匙（锁） 竞赛（生物学） 形式证明 正式学习 形式系统 自动推理 主动学习（机器学习） 机器学习 形式语言 形式验证 定性推理 通用人工智能 人工智能应用 财产（哲学） 推理系统 控制（管理） 知识表示与推理 复杂系统