AI 系统破解 35 年数学猜想，发现未知项
-_-_-_-otalp-_-_-_- · reddit · 2026-07-30
据报道，名为 'Theo Conjecture' 的 AI 系统成功解决了一个困扰数学界 35 年的数学猜想。该系统不仅证明了这一难题，还发现了一个此前未被任何数学家预测到的关键项。
「研究」频道最新
- 研究:亚马逊充斥 AI 生成小说并挤占人类作者收入 — TuhinChakr · 2026-07-30
- 实现 SOTA 深度研究:训练模型而非仅靠脚手架 — SimonShaoleiDu · 2026-07-30
- 普林斯顿教授评 MIT 非凸优化新论文：未达悬赏要求 — HazanPrinceton · 2026-07-30
- 开发者打造开源 4-DOF 机器人 OpenDerm，居家全自动排查皮肤癌 — plopesresearch · 2026-07-30
- 深度学习研究课程更新：深入解析多类 Softmax 损失函数 — alfcnz · 2026-07-30
- Scale AI 纽约 meetup：探讨编程智能体基准测试新进展 — jyangballin · 2026-07-30