AI 团队宣布证明 1973 年悬置的 Erdős #173 几何猜想
kevrussell · x · 2026-10-30
PlasmaAI 宣布证明了 Erdős 问题 #173，一个可追溯至 1973 年的几何猜想。问题内容是：将平面上每个点染成红或蓝两色，尝试避免出现三个顶点同色的特定形状与大小的三角形。可以避免某一特定尺寸的等边三角形同色出现，但这样一来，所有其他尺寸的等边三角形以及任意非等边三角形都必然出现三顶点同色的副本。配套视频展示了这一谜题与证明结果。
「研究」频道最新
- 把纠错存成 LoRA：Self-Direction 让 Agent GAIA 成功率 38.8%→55.8% — rohanpaul_ai · 2026-10-30
- UCSF 论文：AlphaGenome 系统性低估因果变异效应，细定位表现不及线性基线 — anshulkundaje · 2026-10-30
- NeurIPS 2026 论文数排行：一人挂名 22 篇引作者署名之争 — qberthet · 2026-10-30
- 斯坦福 I3L 让全身机器人部署成功率平均提升 68.3 个百分点 — jiajunwu_cs · 2026-10-30
- 三个模型互相辩论投票找答案，作者踩坑后改用外部裁判判收敛 — lluisantoni · 2026-10-30
- 谷歌 AI 搜索内幕：Knowledge Graph 事实多数不给来源链接 — dejanseo · 2026-10-30