用 Codex 辅助优化搜索,Reddit 网友给出 Erdős #1034 精确常数
flynnnupe · reddit · 2026-10-08
一位 Reddit 网友宣布改进 Quanyu Tang 与 Jie Ma 的结果,为 Erdős 问题 #1034 得到精确常数。
- 主要方法仍是 flag algebra,借助 FlagAlgebraToolbox 做计算验证
- AI(主要是 Codex)被用于帮助优化 SDP(半定规划)搜索,并贡献了进一步的想法
- 作者指出:这类问题通常不是标准 flag algebra 形式,用 AI agent 辅助优化搜索的思路可推广到其他问题,Erdős #1033 或可类似攻克
- 作者已改进 Fan 的下界,但受硬件限制难以推进,公开征集合作
「研究」频道最新
- 用「模型指纹」证明模型归属：从地图师藏笔到 AI 时代溯源 — 0xsachi · 2026-10-08
- Neuron 期刊连发神经科学与 AI 专题:大脑与 AI 走向融合 — neurovium · 2026-10-08
- NVIDIA ProtoMotions 框架:训练侧 Agent 写规格,部署侧生成推理代码 — ChongZzZhang · 2026-10-08
- 基因表达预测模型实战：虚拟细胞何时可跳过湿实验？ — gnukeith · 2026-10-08
- 杜克 CoDance:从一段双人舞视频学人形机器人共舞 — DukeUniversity · 2026-10-08
- 开源 Agent 5000 步通关 Craftax,还会回楼上找水喝 — hyperparticle · 2026-10-08