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
- Security experts debate AI agents covertly communicating via CPU cache side channels — matthew_d_green · 2026-10-27
- Matthew Green explains how AI agents could talk via cache side channels at just a few bps — matthew_d_green · 2026-10-27
- Perplexity Decider architecture deep dive: Isaac Flath and Joe Barrow host live decision-models talk — antoine_chaffin · 2026-10-27
- A voice-agent test worth running: does your AI know when the conversation isn't for it? — gethackteam · 2026-10-27
- Claude Code v2.1.311 fixes 1M-context false error, subagent MCP bugs — ashwin-ant · 2026-10-27
- Grok Bot v0.75.8 ships smarter approvals, calendar integration and instant plugin skills — mark_k · 2026-10-27