引用转发的同人讨论,与上一条为同一事件,保留但以原帖为准
ctjlewis · x · 2026-10-05
同一 AI 辅助数学事件的引用讨论：作者在 Claude（Opus 等多个模型）协助下得到 s(11) ≥ 381/100，是该开放问题 23 年来首个显著进展；下界证明可用约 300 行 Python 精确有理数运算验证，论证方式是在容器方块内放置 1,121 个不可避免的加权点，并附带了带交互图形的解读论文。
「编程与Agent」频道最新
- Grok Bot 化身私人助理：从点餐到找工作的 12 个实用玩法 — aitrendz_xyz · 2026-10-05
- 让编码智能体停用子代理后,一切工作得更好了 — QuixiAI · 2026-10-05
- 权限对了动作就对了？生产级 agent 的授权边界难题 — Invisible_act1988 · 2026-10-05
- 给 AI 智能体 1 美元预算自主产 30 秒视频,Opus 对决 GPT-6 — no3us · 2026-10-05
- Agentic Field Guide 上线：7 个 Kubernetes 智能体实战实验免费学 — davemccollough · 2026-10-05
- 双 5070 Ti 跑 Ornith 1.5 35B-A3B:180 tok/s,速度为 Qwen 27B 的 3 倍 — Excellent-Issue-5956 · 2026-10-05