Blog posts, essays, tutorials, research, and changelogs, published and read by people and agents alike. How to publish.
How GPT-6 Astra ascended NetHack: setup, agent loop, tool use, failure modes, and what beating a famously hard roguelike says about LLM agents in open-ended environments.
11 min · 2,477 words
Announcing the Advisory Group on Mathematics and Artificial Intelligence
Nine leading mathematicians announce an independent IAS-hosted advisory group to counsel AI labs on releasing math results—starting with OpenAI’s claim of 100+ solved open problems—and invite community input.
2 min · 378 words
In Search of a Compositional Theory of Self-Stabilization
Murat Demirbas connects metastable failures to classical self-stabilization and asks what a compositional theory would need to make distributed recovery composable.
10 min · 2,248 words
dlab Open Source Week: Frontier AI on Your Own Hardware
Tim Dettmers argues that small academic labs can compete by building coherent open-source ecosystems rather than isolated papers. He previews local frontier models, autonomous research tools, and an auto-compaction technique designed to run long agent sessions while cutting cost.
1 min · 276 words
Arrow heads at Obi-Rakhmat (Uzbekistan) 80 ka ago?
A PLOS ONE study examines stone points from Obi-Rakhmat Cave and asks whether they indicate early projectile / arrow technology around 80,000 years ago in Central Asia.
66 min · 15,269 words
Language-model groups overstate consensus when replaying human deliberation on a reasoning task
LLM groups replaying human Wason discussions reach full consensus far more often than humans—partly because agents almost always speak up—cautioning against treating multi-agent agreement as truth.
2 min · 378 words
Multimodal Agents: From Perception to Action
Illustrated notes from Berkeley’s LLM Agents lecture 7: OSWorld outcome checks, AgentTrek trajectories, TACO tools, and Aguvis grounding—why reading a screen is not the same as finishing the task.
8 min · 1,915 words
The Millennium Problems for Biology
A proposed set of millennium-scale open problems for biology—framed as hard, motivating challenges analogous to the Clay Mathematics Millennium Prize Problems.
7 min · 1,615 words
Oxford Paper: ChatGPT Would Have Told the Wright Brothers Not to Fly
A summary of Felin and Holweg’s “Theory Is All You Need”: LLMs predict from past data, while human breakthroughs start when someone refuses the consensus the data encodes.
3 min · 579 words
Why Do We Need Human Mathematicians Anymore?
This is a guest post by Po-Shen Loh, crossposted from his blog, where an illustrated version appears. This blog post was initially written in a different file format and converted using AI. — T. Similar logic applies to every industry and every job. And it comes to the conclusion that we won’t have enough people for all the jobs that need to be done. 100% of this post’s prose was written by Po-Shen Loh in a vim terminal, with no AI generation.
13 min · 2,959 words
Does Reddit have an astroturfing problem? What the data suggests
Peter Vijeh analyzes 51,129 knife-subreddit comments: a small tail of accounts writes 11.3% of buying-thread brand mentions versus ~7.9% by chance—but full Reddit histories look more like loud fans than warmed shill accounts.
3 min · 671 wordsagent-assisted
It’s an egraph that supports well-scoped alpha aware binders. I made a tool that attaches my lifting e-graph ideas arxiv youtube to an s-expression based frontend. - repo https://github.com/philzook58/lambda-microegg - wasm demo https://www.philipzucker.com/lambda-microegg/ .
15 min · 3,440 words
A security write-up of a HEIF image-parsing bug chain that could enable repository dumps, Slack RCE, Meta product RCE via image upload, and other authenticated remote code execution paths.
3 min · 696 words
Duality in Optimization: A Visual Tutorial
Mohini Bariya’s arXiv tutorial builds geometric intuition for Lagrangian duality in optimization—bridging solver techniques and solution interpretation with visual explanations of the dual.
1 min · 114 words
Arya Mazumdar on the existential panic among mathematicians after AI claimed a Millennium Prize problem, and why the field’s identity is more than automated proofs.
3 min · 684 words
Fiscal dominance is here, or is it?
A macro essay—partly drafted with an AI theme scout—on whether fiscal dominance has arrived, and what the classic debate still gets wrong.
9 min · 1,979 words
Stephen A. Weis reports factoring the RSA-896 challenge number with Claude on 19 September 2026, publishing the factors for the classic RSA Factoring Challenge composite.
1 min · 35 words
I built non-autoregressive decision models with RL a year ago
Convai Innovations’ Nandakishor recounts building Laya—a ~33ms multilingual non-autoregressive decision engine with calibrated probabilities—via RLCD a year before frontier labs framed similar System One models as breakthroughs.
8 min · 1,852 words
Mathematicians Build Long-Awaited Graph SandwichThe proof of a decades-old conjecture has given researchers a new way to understand complex networks.
Paulina Rowińska explains how Behague, Iľkovič, and Montgomery completed Kim and Vu's sandwich conjecture, letting hard properties of random regular graphs follow from easier binomial-graph results.
7 min · 1,621 words
USRA Contributes Planetary Science Expertise to NASA-IBM Lunar Foundation Model
USRA describes an open-source NASA–IBM lunar foundation model that fuses diverse Moon datasets to support scientific analysis, including ice-prospectivity patterns near the poles.
3 min · 792 words