Jeffrey Ling
200 posts

Jeffrey Ling
@spdling
Building @cognition past @Waymo, @GoogleAI




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.

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.






Two years ago, we set out to make software self-driving. Today, TierZero is joining @Cognition to finish the job: make agents write code and keep it running. @yunpark93 and I couldn't be more excited for what's next! 🚀








