🧵 View Thread
🧵 Thread (14 tweets)
I went from a paper on the philosophy of skateboarding, related it to speed running and creativity. Later; down a rabbit hole of the 'impossible' kickflip ala Science Girl. Later to a Veritasium piece on the topic of rotating bodies. And bam.https://t.co/p6N1bQEbfG https://t.co/KaW9a088wB
When I first heard about him, it was from a slack group.How many paths in the space of adjacent possible does my herd travel when all holomorphic curves end up converging to the same memetic zeitgiest?Breaking the 4th wall's computational echo chamber.https://t.co/F6lQ3M6Q16
The Baader-Meinhof phenomenon is actually just the brain's tuning for Majority illusion - which isn't actually an illusion but in fact is an effective way to sample the state of the swarm and is perhaps a more important player in networked swarms than people realize.
This is monkey fights.https://t.co/RZXlmAkHA9Swarm based tipping points in collective decision making.https://t.co/0f4JYz0Oin https://t.co/19HcOwfh1y
Fish matrix.https://t.co/FKe64dEzf7 https://t.co/HuwmZm1MSQ
Baboon Matrix Surrogate.https://t.co/2YZa375jwv https://t.co/QDtQZZLr3a
The recommend system in the cloud suggests that I learn measure theory. It answers some questions I've had for a long long time about the nature of probabilities.https://t.co/0O3qccsuLXThe book? Written by Terry Tao.
This reads strange in my head because of exploring the difference between felt temperature and actual metabolic processes and their interplay with related TRP receptor expression.Shared state-space sampling.https://t.co/ZORTHyXiy5https://t.co/s7zShDi7Rw
relatively speaking.https://t.co/IjcViT9wWh
collaborative ratchet.https://t.co/6155te5qH6
Collaborative Ratchet.https://t.co/BngJ3N6ZAQ
Everyone should read the celebrated mathematician Terence Tao's blog on LLM. He predicts that AI will be a trustworthy co-author in mathematical research by 2026, when combined with search and symbolic math tools. I believe math will be the first scientific discipline to see major breakthroughs enabled by AI, because math: ▸ can be expressed conveniently as a coding problem. Strings are naturally first-class citizens. ▸ can be rigorously verified by theorem provers like Lean, rather than relying on empirical results. ▸ does not require physical experiments like biology & medicine. Robotics isn't ready yet. We are already seeing big progress: ▸ LeanDojo (https://t.co/iI3t1Shgzq) from my colleagues @NVIDIAAI & @Caltech is among the first steps towards this grand challenge. ▸ Last year, OpenAI used Lean to solve some math olympiad problems: https://t.co/B5mceHcUz5 ▸ ChemCrow is another example, but for chemistry. It integrates GPT-4 with professional tools like molecular synthesis planner and reaction prediction: https://t.co/fyZfDu9PpD ▸ Terrance Tao's blog: https://t.co/Gz86iy61Sy
