Entrepreneurs get people to change their beliefs about how the world works. I will keep bringing you VR. Someday the magic gets good enough to convince everyone. But it sure is hard to do that today. So not for everyone. Artur is one of those who keeps trying to change reality. I love him for that.

I think we have reached a form of weak AGI in the domain of mathematics. The models can help formalize major projects, they deliver technical expertise in basically any area of mathematics, and more and more mathematicians use models for exploration, exploitation, and even ideation. I am preparing a longer post about this. From my own projects in algebra, I can see that the speedup and jump in quality are unprecedented. To be honest, most mathematical questions are intractable for AI systems, but they are hopeless for humans, too. A surprising number of problems described in the literature can be cracked with the right auto-research skills and clever harnesses (and a ton of tokens) within days. Things are changing way too fast to comprehend every change. But I do see very young researchers, including PhD students, starting completely new, crazy projects exploring the interactions between models and mathematics. So there is hope that these people will lead the frontier in a few years and we won't end up with a frontier devoid of human mathematicians.

We asked GPT-6 Astra to edit Qwen3.5-0.8B weights to improve math. It directly changed only 0.016% of weights, fixing 0.8B's reasoning loops & improving math up to 6x and even instruction following 3x, without gradients or training. We call this Weight-Space Programming: frontier LLMs can now natively read/write neural network weights! 🧵 Blog:

hey @vladtenev when will @coinbase support the robinhood chain?!?! my buddy @nimbusthemuse tried to offramp some of his crypto on the rh chain to his coinbase acct and it's now literally stuck in the ether because coinbase is being obstinate and wont accept it. please advise. thank you kindly in advance!!