Devin 破解三个未解决数学猜想

Another Math win for AI. 2 conjectures from the 80s and one from 2002 all died this week. and this is the slowest AI math will ever be. Any problem with a checkable answer can be potentially solved at the speed of inference. Mathematical knowledge has always grown at the pace of human patience, but now that has been replaced with compute, and compute compounds. > **引用原帖 Jared Zoneraich (@imjaredz):** > Proud to say that Devin has cracked three more unsolved problems today > 1) REFUTED: Graffiti Conjecture 154 (open for ~40 years) > 2) PROVED: Graffiti Conjectures 39 & 40 (~40 years) > 3) REFUTED: Brandt's Regular Supergraph Problem from West's open problems list (~20 years) > My methodology is explained below, but basically I showed Devin the original tweet and told it to find similar problems and crack them. > The flood gates are open. > https://x.com/imjaredz/status/2080088341262033273