中国数学家孙智伟出千道难题，公开挑战 AI 数学能力
scmp_news · reddit · 2026-10-22
《南华早报》报道，中国数学家孙智伟提出 1000 道数学难题，以此挑战并检验当前 AI 模型的数学推理能力。
「研究」频道最新
- 新预印本提出 AI 生物事件后的「Break-Glass」应急监管方案 — davidmanheim · 2026-10-22
- Lafa：8B 参数流语言模型追平自回归质量，吞吐量提升 2.5 倍 — AdtRaghunathan · 2026-10-22
- 新论文:用 ODE 积分器片段构建 SMC 采样框架,可自动调 HMC 参数 — michaelchchoi · 2026-10-22
- 港大团队推出 Embodied Playground:410 个任务环境测模型物理智能 — YiMaTweets · 2026-10-22
- Chatlet 研究项目:对话中自动「长出」界面辅助群体决策 — round · 2026-10-22
- 南大提出苏格拉底技能学习:教学+练习交替训练可迁移 Agent 技能 — NJU-LINK · 2026-10-22