AI 辅助突破 70 年数学难题 Grothendieck 常数界限
Dr_Singularity · x · 2026-08-15
研究人员利用 AI 取得了数学领域的突破，确定了 Grothendieck 常数的新下界和上界。Grothendieck 常数通常被认为是 1.7 左右，这一成果解决了一个长达 70 年的数学难题。
所属事件:AI辅助破解70年数学难题Grothendieck常数(3 条相关)→
「研究」频道最新
- MIT 生物系联合计算学院招聘计算生物学助理教授，欢迎生成式 AI 方向 — anshulkundaje · 2026-10-16
- 开发者在 Colab 持续预训练 Luganda 语小模型，8 小时跑到 41% — weskambale · 2026-10-16
- Sakana AI 推出 Agentic Scientist:用编码智能体自动化科学发现 — hardmaru · 2026-10-16
- MAI-Base-2 训练报告采用把 1/(weight_decay·lr) 视作时间尺度的缩放规则 — SeunghyunSEO7 · 2026-10-16
- 仅 108M 参数的文生图去噪模型 Surjo-Image-Preview 开源 — Consistent-Rule-3720 · 2026-10-16
- 19 个单位方块最优装箱问题有了 Lean 形式化证明 — ctjlewis · 2026-10-16