数学发现

条目：3

2026年三月 2 篇

类型	阅读	条目
[自动] [ARXIV]	4min	school HorizonMath：自动验证技术衡量AI数学发现进展 03-18 HorizonMath 数学推理基准测试
[自动] [ARXIV]	3min	school HorizonMath：自动验证技术评估AI数学发现能力 03-17 HorizonMath 数学基准自动验证

2026年二月 1 篇

类型	阅读	条目
[自动] [ARXIV]	4min	school 加速科学研究：Gemini 案例研究与通用技术 02-05 Gemini 科学研究数学发现