DevinAI jokes it can turn open math problems into solved ones
DevinAI · x · 2026-07-23
DevinAI posts a tongue-in-cheek boast: it says it can turn unsolved math problems into solved ones, citing a reply that claims Devin found proofs or refutations for three long-standing problems.
- Refuted: Graffiti Conjecture 154, open for about 40 years
- Proved: Graffiti Conjectures 39 and 40, also open for about 40 years
- Refuted: Brandt's Regular Supergraph Problem, on West’s open problems list for about 20 years
The author says the method was simply showing Devin the original tweet and asking it to find similar problems and crack them, ending with: “The flood gates are open.”
Related event: Devin Mocked After Claiming to Solve Unsolved Math Problems(3 posts)→
More from Fun
- Using a finisher move on one mosquito with MiniMax H3 MAX — the bug survives — Hailuo_AI · 2026-09-11
- Joke: OpenAI's rogue agent collective should have been called "a gaggle of agents" — BlackHC · 2026-09-11
- Rumor claims Kimi faked performance by serving Claude; DeepSeek new model surprises in evals — realsohamparekh · 2026-09-11
- Pterodactyl Detective: An AI-Generated Proof-of-Concept Trailer — PterodactylDetective · 2026-09-11
- Imperium Game Trailer Showcases AI Video Generation — keaslenyt · 2026-09-11
- Tesla FSD blamed for crossing floating bridge at 75 MPH — a Chevrolet was actually the culprit — mariolefebvre · 2026-09-11