神经外科医生借 GPT-5.6 证明困扰线性代数 20 年的数学猜想
New_Equinox · reddit · 2026-08-14
一位来自北大医院的神经外科医生，为了推进其经颅超声领域的研究，借助 GPT-5.6 Sol 成功证明了一个存在 20 多年的数学猜想。
该猜想是数值线性代数领域的一个核心问题。这一案例展示了前沿大模型在辅助解决深层次跨学科科学难题上的巨大潜力。
所属事件:协和医生借 ChatGPT 证明 22 年数学悬案(10 条相关)→
「研究」频道最新
- 实测：CUDA版本导致量化视频模型推理速度相差3.3倍，B200不敌正确配置的4090 — Odd_Lavishness2236 · 2026-08-14
- SKILLER：面向小模型的强化学习技能提取新框架 — opendatalab · 2026-08-14
- 印度初创公司结合 AI 与嗅癌犬，早期癌症检测敏感度达 90% — Polymarket · 2026-08-14
- DHS 原始论文中文翻译发布 — sujingshen · 2026-08-14
- 中国电信 TeleAI 发布无人机卫星极窄带宽传输方案 — FellMentKE · 2026-08-14
- AI测试得分1753碾压人类？偏好打分机制被指更看重排版而非正确性 — Spiritual_Heron_5680 · 2026-08-14