The Jacobian counterexample sat just barely outside what people had searched for, with it requiring just enough cleverness to narrow the search space, just small enough to be easily findable, and just implausible enough that such a search would actually work
@SoritesMinor It has the benefit of being tireless. But it's also good at wordcel type proofs where it's mashing together a bunch of things which don't require a deep insight but just shoving the symbols together. Sometimes it finds those from very disparate things
Thanks to everyone for participating in the Permuto Volatility Cup! The challenge has now officially ended after about four weeks of intense competition. It was great to see the community engaged with a brand new tool and to bend and break our systems!
1/10 Bram Cohen just unleashed Chia Gaming Alpha 3 – the first semi-reliable version is here! Player apps & trackers now interoperate smoothly. Devs, the P2P gaming future on Chia is calling loud & clear! 🎮🌱 https://t.co/nwyk24hZHQ https://t.co/H7olXbXi26
@DanielleFong It felt a lot more transformational in San Francisco specifically and more of a save the world vibe at the beginning and more of the world has lost its mind at the end but it also was much smaller in dollar terms