AI 协助证明埃尔德什猜想超越性
inductionheads · x · 2026-08-24
原作者给出了埃尔德什问题 270 关于级数无理性的 5 行证明，并使用 Lean 进行了形式化验证。随后，其 AI 模型声称利用超出现有理解的技术证明了整个仿射族 $a \geq 1, b \geq 1-a$ 的超越性。相关代码和论文已开源。
「应用」频道最新
- 微软深度优化 Windows 迎接 Nvidia RTX Spark：两步装好本地 AI agent — tomwarren · 2026-10-15
- Google 通用购物车工具 Universal Cart 在美国上线 — TechCrunch AI · 2026-10-15
- PikoReels 上线：AI 批量做绿幕视频和 UGC 广告，整月自动发 — damnGruz · 2026-10-15
- 独立开发工具 Ferryman：一次创作，用 Claude/Cursor 自动分发到 15+ 平台 — KevinNaughtonJr · 2026-10-15
- ChatGPT 去除 UTM 后，prompt 追踪工具反而更实用了 — lilyraynyc · 2026-10-15
- YC F26 项目 GodHands 发布:观察真人工作沉淀 AI 可执行 playbook — ycombinator · 2026-10-15