Agent Helps Advance Math Conjecture
jasondeanlee · x · 2026-07-16
The author provided an update on their progress with the **gradient flow conjecture**, which has now advanced to **2.25380**. They mentioned being stuck on the problem with their agents (**codex**, **chatgpt**) for **3 to 5 days** and exhausting their usage limits, so they are returning to "real work." The core takeaway isn't the tool itself, but a demonstration of how AI agents are actively participating in the research process. The author also noted that so far, only **sol 5.6 max/ultra** and **chatgpt** have looked at this problem, and they welcome others to attempt it.
Related event: Researcher Advances Math Conjecture with AI Agents(2 posts)→
More from coding & agent
- Axcess adds an MCP connector for WCAG accessibility checks that scanners miss — modelcontextprotocol · 2026-07-21
- X post asks whether Cursor Composer, built on Kimi models, would also be banned — max_paperclips · 2026-07-21
- A developer’s Codex usage is draining pooled enterprise credits at a small company — Distinct_Relation_62 · 2026-07-21
- Qwen Code ships cua-driver-rs 0.7.3 with relative coordinates and MCP filtering — github-actions[bot] · 2026-07-21
- Matt Pocock says every new codebase turns legacy within days — mattpocockuk · 2026-07-21
- Meta and Unity link AI workflows to Quest development across setup, input and validation — Vjeux · 2026-07-21