Larry

🚨OpenAI’s new model Astra resolves 10 advanced math problems >Non-sofic groups constructed >Connes’s rigidity conjecture disproven >Sphere packing: Cohn–Elkies strength determined exactly >Quantum parallel repetition proven for all entangled games >CVP hardness, Ehrhart’s conjecture, permanent lower bounds >3 Erdős problems resolved (#146, #180, #183) 4 of 10 are counterexamples to what mathematicians believed WHAT A TIME TO BE ALIVE!!!!!!

@wholemars 蔚来

Nio Oslo

@wholemars Traveling?

Norwegian Parliament

Terence Tao was asked how young people should pick a career. His answer had nothing to do with picking one. Fields Medal. Breakthrough Prize. Over 300 papers. Full professor at UCLA at 24, the youngest in the school’s history. He is what the old plan looks like when it works. Tao: “There’s a lot less certainty now in the world.” Nine words. From a man whose life’s work is certainty. Tao: “You go to college, you get an education, and you pick one profession and you stick to it. That’s becoming much more a thing of the past.” That was the deal your parents were sold. That was the deal they sold you. Choose early. Commit hard. Compound for forty years. Retire. That plan didn’t fail. It expired. Every skill you own is a bet that the world stays still. For most of human history, that bet paid. We called it a career. The tools your father used were the tools you’d use. For ten thousand years the world changed slower than a person aged. We’re the first humans who will outlive our own expertise more than once. There’s no tradition for that. Nobody ever needed one. Tao: “You just have to be adaptable and flexible.” Soft words for what he actually did. At the top of his field he sat down in front of Lean, a proof assistant, and started from zero. A system that doesn’t care who you are. It tells you you’re wrong line after line, exactly the way it tells every beginner they’re wrong. Starting over isn’t hard because the work is hard. It’s hard because you have to be visibly bad at something in front of people who remember you being great. To begin again you have to let something die, and it’s usually the version of you that everyone respected. Which is why the people best equipped to adapt are the ones least willing to. Most would rather stay right about a world that’s ending than be wrong inside the one that’s arriving. Nobody had more to lose than him. He started over anyway. Not humility. Arithmetic. The old deal told you to compound for forty years and never said what to compound. It was never the skill. It was your tolerance for being new. Time makes beginners of everyone. The only variable is when. Most people wait until it’s chosen for them. He chose his.

@XFreeze 💯

Elon Musk back in 2024 😂

📣 OpenAI just reduced the price of GPT-5.6 Luna by 80% and GPT-5.6 Terra by 20%. Try both models in @code today. Happy coding! 💙

@XFreeze NIK错过了很多关键信息❤️

SpaceXAI just launched a limited-time discount on Grok credit top-ups If you hit your usage limits, you can now buy extra credits at up to 45% off through August 14: • $5: 10% off • $20: 20% off • $50: 30% off • $100: 40% off • Larger custom top-ups: up to 45% off A $500 credit purchase now costs just $275 A seriously good deal for heavy Grok users who do not want to wait for their limits to reset

@r0ck3t23 😅

Demis Hassabis thinks mathematics has a ceiling. He thinks biology is where we hit it. Hassabis: “Machine learning is the perfect description language for biology in the same way maths is for physics.” He isn’t calling AI a tool. He’s calling it a language. For four hundred years we only had one. Newton wrote gravity in it. Maxwell wrote light. Einstein wrote spacetime itself. Every law we ever pulled out of nature came back in equations, and we decided that meant nature was written in equations. It didn’t mean that. It meant the parts that surrendered first were small enough to fit the language we already spoke. Hassabis: “The expressive power of maths is not enough to understand these highly emergent dynamical systems.” Math can put a planet’s orbit on a single line. It cannot put one protein on a page. Same universe, same laws, and one fits our notation while the other refuses. Weak signals buried under noise, correlations stacked on correlations, more moving parts turning at once than any mind can hold. Biology isn’t harder than physics. It’s more expressive than the tool we brought to it. That was never a gap in our knowledge. It was a wall in our vocabulary. Hassabis is working on the far side of that wall. He calls it a virtual cell. A running simulation of a living system that no equation could ever contain. Hassabis: “Once you learn these simulators, you could maybe extract some equations from that.” He isn’t replacing math. He’s going after math we were never going to reach on our own. The model learns the system the way you learn to catch a ball, without ever solving the equation in the air. Understanding first. Formula after. That reverses the order science has followed since Newton. We started with the equation and used it to predict the system. He starts with the system and pulls the equation out of it. What if the deepest laws of life were always there, fully written, in a language we never learned to read. Math was never the language of the universe. It was the first one we spoke. Every disease we failed to cure is a sentence in that language, sitting in the open, waiting on a reader. Every person we lost to one died on the wrong side of a translation gap. The cell was never silent. We were illiterate. Hassabis isn’t building a better microscope. He’s building a second language for reality. And the first thing it’s learning to say is life.

Most people seriously underestimate what Grok Build can do They assume an AI coding agent is only useful for building apps or writing complex software But some of its most valuable work is handling the boring, obvious tasks that quietly consume 10 minutes here, 20 minutes there, every single day For example, I gave Grok Build a SpaceX video posted on 𝕏 and asked it to extract the clearest frames and turn them into a clean collage It pulled the video, selected the strongest images, cropped them, arranged the layout and produced the final collage shown in the post below I simply described the result I wanted, then let it handle the entire process while I worked on something else And that is only one small example You can use Grok Build to: • Organize and intelligently search files across your computer • Diagnose and fix audio, display and system-setting problems • Download, install and configure apps or tools • Extract images or audio from videos • Add music, trim, compress and convert media • Resize, crop and enhance images • Batch rename and organize hundreds of files • Clean spreadsheets, merge datasets and build dashboards • Write scripts and automate repetitive tasks • Fix broken configurations and connect tools together Even something as annoying as an audio setting not working becomes much easier Instead of hunting through menus, searching forums and trying random fixes, you can explain the problem to Grok Build It can inspect the setup, identify the likely cause, change the relevant configuration and test whether the fix worked It is basically an agentic operator living inside your computer, working within the permissions you give it I also keep a simple instruction file telling Grok how I prefer tasks to be completed, including automatically opening the finished result after a successful run so I do not forget about it Configure the workflow once, and Grok keeps working the way you prefer That is what makes Grok Build so useful It is not only building software It turns all the small computer tasks between an idea and the finished result into work you can simply describe and delegate

@XFreeze Spot on. The biggest ROI of Grok Build isn't replacing developers, it's eliminating the micro-friction that drains daily focus. Delegating those 10-minute background tasks adds up to hours saved every week.

@ns123abc 你也和@r0ck3t23 一样经常遛狗吗😅

Creator Subscriptions just got a massive upgrade and if you monetize on this platform, this is the most important thread you'll read today 𝕏 just changed the game for creators Here's everything new 👇🧵

@XFreeze Openai只会偷走技术人员的成果而无实质性回报😂😂💯

RT @XFreeze: Just think about what you will be working on You will work hands-on across the most advanced compute stack, helping build and…

@r0ck3t23 说真的我没见过一次💯💯

Transferring data with rapidly flashing qr codes 🫰 reddit.com/r/vibecoding/c…

@tbpn I found Gu‘s interview.💯💯

Here is the full letter Leopold sent to his LPs last night. Rumors of his demise are greatly exaggerated.