🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

We are excited to announce Trinity, an autoformalization system for verified superintelligence that we have developed at Morph. We have used it to automatically formalize in Lean a classical result of de Bruijn that the abc conjecture is true almost always.

New paper: "Large Language Models & Emergence: A Complex Systems Perspective" (D. Krakauer, J. Krakauer, M. Mitchell). We look at claims of "emergent capabilities" & "emergent intelligence" in LLMs from perspective of what emergence means in complexity science. ⬇️

all these entropy papers lately

"The battle between every startup and incumbent comes down to whether the startup can get the distribution before the incumbent can build the innovation."

The nature of feelings: evolutionary and neurobiological origins nature.com/articles/nrn34…

Launching SYNTHETIC-2: our next-gen open reasoning dataset and planetary-scale synthetic data generation run. Powered by our P2P inference stack and DeepSeek-R1-0528, it verifies traces for the hardest RL tasks. Contribute towards AGI via open, permissionless compute.

Planetary-Scale Inference Our peer-to-peer decentralized inference stack moves into production, enabling everyone—from consumer GPUs to hyperscale clusters—to contribute meaningfully towards open-source AI progress.

We finally have BOINC@home for AGI.

The most epic AI showdown ever? With Gary Marcus Daniel Kokotajlo and Dan Hendrycks - dropping now on MLST.

has anyone else demonstrated a *Universal* Turing Machine that's fully differentiable? stuff like RASP can compile *specific* turing programs into transformers' weights has anyone else demonstrated universality in a backprop-friendly setting

If you like nature-inspired planes, wait til you see nature-inspired compute

Cathedrals, for those with eyes to see

another incredibly underrated paper: Thinking Like Transformers (Weiss et al, 2021) presents RASP: a programming language that compiles to transformer *weights*. can implement sort(), bincount(), etc. seems important. why don't interpretability people care about this?

What is missing from AI x physics intersection?

<3

Paraconsistent prior

since we are just wee bit of space dust, therefore there's no meaning? wrong without that wee bit of space dust that makes us, the whole universe wouldn't work, as it would break the laws of physics unfolding since the big bang no physical system is closed, everything is