AI 协助证明埃尔德什猜想超越性
inductionheads · x · 2026-08-24
原作者给出了埃尔德什问题 270 关于级数无理性的 5 行证明，并使用 Lean 进行了形式化验证。随后，其 AI 模型声称利用超出现有理解的技术证明了整个仿射族 $a \geq 1, b \geq 1-a$ 的超越性。相关代码和论文已开源。
「应用」频道最新
- 高频用 Prompt：请用简单术语解释 — jarrodwatts · 2026-08-24
- ComfyUI 队列管理全能助手：暂停、重启与排序 — seeker_ktf · 2026-08-24
- 面向小企业的 AI WhatsApp 助手，该选什么技术栈？ — aarondiaz92 · 2026-08-24
- LTX 2.5 实测技巧：用起始图解决嘴部生成问题 — cocktailpeanut · 2026-08-24
- 数据可视化配色陷阱：绘制散点时需选定牺牲色 — moultano · 2026-08-24
- ChatGPT Work 连闯两级客服拒赔，帮用户拿到 95 美元 Uber 赔偿 — nickbaumann_ · 2026-08-24