My son, Saharsha, had this wonderful idea and artwork in this classroom. I liked it so much that I converted it to a game. Play it https://t.co/J44ls9RhiM
Another 9 open Erdos problems solved, this time by DeepMind team.
Interesting loop of LLM - Lean agents working autonomously, and only after it's verified formally, going through human review.
๐บ๐ธ70 days ago: We are 24 hrs away from deal
๐บ๐ธ50 days ago: We are 24 hrs away from deal
๐บ๐ธ30 days ago: We are 24 hrs away from deal
๐บ๐ธ10 days ago: We are 24 hrs away from deal
๐บ๐ธ 01 days ago: We are 24 hrs away from deal
...Continue ๐
And just like that, itโs completely VANISHED from the media.
A sitting congressman, Ted Lieu, said on the record the Epstein files are being blocked because they show Trump raped and threatened to kill children.
Lets make this viral again ๐
When Nature reached out to use the graph I created (using GPT) to illustrate the new (dis)proof of the unit-distance problem, I reached out to Will Sawin to see if he had other suggestions. So here is a slight modification that bounds the complex norm of the points.
โOnce, men turned their thinking over to machines in the hope that this would set them free. But that only permitted other men with machines to enslave them.โ - In the Dune Universe.