Here’s a hot take i have been sitting on for a while. As AI and formalization converge on mathematics mathematicians are beginning to think and act more and more like computer scientists. See Terry Tao and Ken Buzzard’s talks at the Future of Mathematics Symposium for evidence of what i’m talking about. The more they embrace these methods and principles, the deeper the deeper computer science results will penetrate the field. For example, the notion of Turing complete systems has consequences for many areas of mathematics. Set theory is Turing complete. The constructive reals and the constructive complex numbers are Turing complete. This expressiveness limit is ubiquitous. In this sense research programs like Langlands should not be surprising. In one sense they are building compilers from one programming model to another. Both are Turing complete (or analogs at higher order) so we know beforehand that the compilers exist. Finding and optimizing such compilers can be fun and exciting. But there isn’t a lot of mystery here. It’s completely expected.
We are pleased to share that our Chief AI Alchemist, Dr. @Mihaela_Ulieru, has been recognized by Top Global Recognition as a “Top Woman Leader in AI, Blockchain, and Decentralized Innovation in 2026.”
Dr. Ulieru's leadership and dedication to beneficial AGI that serves humanity continue to drive our mission and inspire impactful innovation across the AI and blockchain ecosystems.
Learn more: https://t.co/pAlsuSL3zS
Now that we have an AI-native tokenization platform scalable enough to do Dropbox and Google Drive features on-chain, and BlueSky on-chain, we are turning our attention to reimagining the rest of the Web 2.0 properties. We skip past Web 3.0 and go right to the agentic web where all value creation activities are social and the communities they serve are mixtures of humans and agentic AIs. Document creation is social. Ordering food is social. Creating and sharing music is social. Even location services are social. What's different is that the societies and communities we consider are mixes of humans and agentic AIs. Thus, the F1R3Docs interface is different from Gemini's AI in a panel as a tool. AIs and humans are working together utilizing each other's strengths to create something of value. Tokens do what they have historically done in human societies: aid in the management of coordination costs. https://t.co/TwGJdDWx8Z
Hot take: the folks who voted for Trump and the GOP Congressional Reps and Senators should bear more of the tax burden for the Iran war, the tariffs reparations, the lawsuits against the US Government, and all the follow on investigations into the brazen corruption. Their tax rates should be not only be higher, but the rate should reflect the extent to which they supported this disaster
@SenSanders — i love you for all the work you do. For your integrity and diligence and persistence. i love @AOC for her clarity, groundedness, and compassion. However, this legislation is shortsighted. Let’s say it passes. Will that stop China from building AI data centers? Russia? Europe? India? The problem with AI is that it’s a worse attractor (in the sense of dynamical systems) than nuclear weapons. No one can afford to let the other player get there first. Slowing down US growth might be good because the US has the most destructive capabilities and those can be controlled by a small cadre of bad actors at the top. But, it’s not a remedy. The best course of action i can see is to democratize and decentralize the development. Get as many people as possible educated and involved in steering our course down into the attractor. It’s not something humanity can escape, so get everyone involved.
When it comes to data centers specifically, there are designs and technologies that allow us to put them right in the middle of urban centers, instead of gobbling up precious farm land or wilderness. They can be made to generate power and provide an alternative to our very outdated power grid. If you would like to learn more, i’m happy to spend some time showing you these alternatives. They literally provide new downtown housing alternatives.