Alex Townsend 汇编 200 个数值线性代数开放问题，供人类与 AI 攻关
IgorCarron · x · 2026-09-11
Cornell 教授 Alex Townsend 在 GitHub 发布 OpenProblemsInNLA 项目，收录 200 个精确陈述的数值线性代数开放问题，明确面向人类和 AI 智能体共同求解。
- 每个问题附参考文献、难度与重要性评级
- 覆盖 11 个主题方向：线性系统与消元、特征值与逆问题、随机化与低秩近似、张量计算、矩阵不等式与范数、非负/正矩阵分解等
- 提供 Markdown、LaTeX、PDF 多种版本，并设有 RESOLVED.md 跟踪已解决问题，鼓励社区贡献
把开放问题整理成结构化、可机器读取的清单，实质上是为 AI 智能体的数学探索提供了一个测试场。
「编程与Agent」频道最新
- 受 OpenAI 万机群启发，开发者开源 agent 众包解题平台 — Benjaminsen · 2026-09-11
- 开源 Mac 应用 Lucid：只在跑 AI 时阻止笔记本休眠 — Pitiful_Hedgehog_600 · 2026-09-11
- 20kb 函数匹配达成,banteg 召集 AI 逆向 Snail Mail 剩余 20 个挑战 — banteg · 2026-09-11
- Kimi K2.8 Preview 上线：性能接近 K3、1M 上下文全档开放 — teortaxesTex · 2026-09-11
- 有人想给软件工程任务建「形态分类」数据库,好按任务选模型 — StewartalsopIII · 2026-09-11
- 用 prompt 造硬件:一次对话让智能体组装定制设备寄到家 — paraschopra · 2026-09-11