Devin is being pitched as a global Easter egg hunt after claims of cracking three open problems
nptacek · x · 2026-07-24
A viral post says Devin is making it feel like a worldwide Easter egg hunt.
- The cited example claims Devin helped crack three open problems in one day.
- They include a 40-year-old graffiti conjecture, two graffiti conjectures proved or refuted, and a 20-year-old problem from West's open problems list.
- The author says the method was simple: show Devin the original tweet and ask it to find similar problems and solve them.
Related event: Devin Mocked After Claiming to Solve Unsolved Math Problems(3 posts)→
More from coding & agent
- agents-best-practices: a provider-neutral Agent Skill for designing and auditing agentic harnesses — tom_doerr · 2026-09-11
- Cognition's SWE-2 uses a KKT duality argument in RL to shift the effort Pareto curve — YouJiacheng · 2026-09-11
- First-ever Three.js Conference lands in Paris, with a panel on AI-shortened design workflows — OdinLovis · 2026-09-11
- Data engineering, not agent frameworks, is the real bottleneck for enterprise AI agents — dhruv2038 · 2026-09-11
- RTK Terminal Compression Cuts Tokens but Leaves Your AI Coding Bill Unchanged — Bartaseth · 2026-09-11
- GPT-6 Astra beats Factorio with enemies in 44 in-game hours at ~$4,500 API cost — liminal_bardo · 2026-09-11