CoinFilter
33 posts

CoinFilter
@CoinFilterCap
The only crypto list that actually filters. Real builders, real utility, explained for everyone.




this is pretty amazing news Google DeepMind's AI agent autonomously solved 9 of 353 open Erdos problems. Cost - only few hundred dollars per problem. This is a major signal that AI is moving from helpful math assistant to actual autonomous research engine. LLM agents connected to Lean are now solving real open mathematical problems, not just textbook exercises. The strongest system resolved 9 open Erdős problems and proved 44 OEIS conjectures, with some breakthroughs costing only a few hundred dollars each. Mathematics is one of the hardest domains because you cannot bluff your way through it. A proof either checks or it does not. And now AI systems are starting to generate proofs that survive formal verification. 1000x acceleration of progress is coming.






We don’t need decentralised training. We need open algorithms.



I have the vision

🚨 JUST IN: 🇺🇸 BLACKROCK CEO, LARRY FINK, HAS JUST SAID: "THE UNITED STATES IS SHORT ON POWER. I BELIEVE A NEW ASSET CLASS WILL BE BUYING FUTURES ON COMPUTE." THIS MEANS THAT TRILLIONS MAY FLOW INTO THE DECENTRALIZED COMPUTE SECTOR IN CRYPTO THIS IS VERY BULLISH FOR MARKETS!!







