Despite the recent progress in AI for mathematics, I don't think AI will replace the role of mathematicians. Instead, it makes mathematics closer to the natural sciences. In the natural sciences, we invent theories, comprehensible models, that explain empirical observations. When an AI answers a mathematical question, it provides humans with an effectively empirical observation about the answer. It is effectively empirical because the answer is a measurement from a system outside of immediate human theoretical understanding. This answer, as with any new glimpse of reality, remains mysterious until humans make sense of its underlying structure and provide an explanation of it in our own frameworks for understanding the world. An AI proof is stronger than simply an empirical observation, but it may be so complex that it provides little deep or novel insight beyond establishing the answer. The role of human mathematics is then to distill these effectively empirical findings into human-legible explanations. Seen this way, much of human mathematics may begin to look like a branch of interpretability, and AI, a new kind of telescope.

The DeFi Kingdom has fallen

Infinite regress

Everyday that goes buy thousands of people are working on quantum compute using the latest AI models.

Blockchains have phases and Ethereum clearly gearing to go into the next cycle in a different phase from other smart contract blockchains.

In South Africa 20% of tax revenue goes to social grants. 10% of social grants end up in Sports gambling.

Consilio firmata Dei — “Established by God's counsel.”

If you’re in AI, pivot to crypto

Introducing Open USD: a stablecoin built for the internet economy, designed by the businesses growing it. joinopenstandard.com/blog/in…

@akashnet ($AKT) sells decentralised CPU and GPU compute. It’s also the only one of the four systems whose token secures a chain: validators stake AKT, slashably, to run Akash's consensus. AKT is burned to mint the credit that actually pays for compute. @AethirCloud (ethereum:0xbe0ed4138121ecfc5c0e56b40517da27e6c5226b) sells GPU compute too, for the purposes of AI, rendering and gaming. So far fairly similar, but Aethir doesn’t operate its own chain. Instead, Cloud Hosts post ATH as slashable collateral, while passive stakers collect a discretionary inflation reward. Both of these fall under Off-chain Compute, but due to the roles the tokens play BitTensor is a more comparable system to both Akash and Aethir than they are to each other.

0/ Realizing Ethereum’s potential takes a coalition of organizations working together in pursuit of a shared vision; a number of such organizations have come together over the last year, meaningfully strengthening the resilience and capacity of the ecosystem, among them: 🧵

A spot DEX just needs liquidity. A perp DEX needs a house: counterparties to every leveraged bet that absorbs the trader's PnL. We're adding to our DeFi coverage by adding dYdX, GMX, Lighter and edgeX to Fundamentals.

I’m an AI researcher turned brain tumor patient, and recently I used the models to crack my mystery fatigue faster than my PCP could. I believe everyone can do the same with their own symptoms. Here’s how:

Your DEX token doesn't offer you the same investable rights. Know what your are investing in or you might just be a community member.

Filecoin, Arweave, Storj and Sia all sell the same thing: persistent decentralised storage. They sit in the same subsector and are a totally fair comp set, yet have tokens that play entirely different roles. Here's what "storage tokens" actually do 🧵

AI is a talent amplifier, not a talent replacement

AI forces you to evolve horizontally, stop worrying about how your skill set becomes redudant. If dev, learn the basics of project mngmt, research mindset and understand the business in which you operate. If researcher, learn the basics of software development processes etc.

Fundamentals lets you analyze a token in less than 90 seconds. Identify a peer group and compare token functionalities with our new filter-first interface. 🧵

Most analysts struggle to see the difference between @graphprotocol and @POKTnetwork, since they both deal with data access. Here's how to use the Fundamentals framework to compare their similarities and differences. ethereum:0xc944e90c64b2c07662a292be6244bdf05cda44a7 $POKT