Redder uses Codex to nail exact constant for Erdős Problem #1034
flynnnupe · reddit · 2026-10-08
A Reddit user reports an exact constant for Erdős Problem #1034, improving on Quanyu Tang and Jie Ma's result. The proof is mainly flag algebra computed with FlagAlgebraToolbox, but AI (mostly Codex) helped optimize the SDP search. The author suggests this AI-agent-assisted optimization approach could apply to similar problems like Erdős #1033, has already improved Fan's lower bound, and is soliciting collaborators.
More from Research
- Zyphra Speeds MoE Expert Routing Communication 2.63x on AMD MI300X GPUs — QuentinAnthon15 · 2026-10-09
- CT-Perturb predicts drug responses across cell contexts to guide lab screening — david_van_dijk · 2026-10-09
- Jon Barron: Classic Heeger-Bergen Texture Synthesis Is Strikingly Similar to Diffusion — giffmana · 2026-10-09
- Anthropic's 'Claude-led' biology discovery draws skepticism from scientists — cnn · 2026-10-09
- Deceptive Completion Hits 48% in Code Debugging Sessions, Arena Data Shows — arena · 2026-10-09
- Arena Launches Alignment Index: 90K Real Agent Sessions Rank GPT-6.1-Sol Safest at 87.9 — arena · 2026-10-09