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.”
More from Fun
- AI makes Arch Linux setup feel easy enough to be almost fun — gnukeith · 2026-07-23
- Community Ships Open-Source MMO in a Month with AI Agents, Humans Shift to Judgment — singing_coach_ai · 2026-07-23
- AI model roast screenshot turns into a perfect failure meme — yacineMTB · 2026-07-23
- A joke imagines Claude and Grok landing in Baldur’s Gate 3 next — omnivaughn · 2026-07-23
- Tesla posts a new FSD safety demo showing accident avoidance — chrisfleck · 2026-07-23
- Reddit user says OpenAI limits, promo drama, and sandbox failures pushed them away — Jolly-Ad-7153 · 2026-07-23