Archive - Axis of Ordinary

Links for 2026-05-30

AI-Driven Formal Proof Search


Links for 2026-05-25

AI-Driven Formal Proof Search


Links for 2026-05-21

The Erdős Breakthrough


Links for 2026-05-15

AI Multi-Stream LLMs: Unblocking Language Models with Parallel Streams of Thoughts, Inputs and Outputs


Links for 2026-05-12

Fields Medalist Timothy Gowers tries GPT-5.5 Pro


Links for 2026-05-08

GENE-26.5


Links for 2026-05-04

AI Self-Improving Pretraining: using post-trained models to pretrain better models


April 2026

Links for 2026-04-30

AI Thinking Without Words: Efficient Latent Reasoning with Abstract Chain-of-Thought


The math and assumptions behind the red-blue thought experiment

The setup


Links for 2026-04-24

AI A concrete recipe for bootstrapping reasoning ability from verifiable self-generated data.


Links for 2026-04-21

Kimi K2.6


Links for 2026-04-18

Opus Decision Theory Evaluation


Links for 2026-04-14

Claude Mythos Preview’s cyber capabilities


Links for 2026-04-12

Evidence that AI can already do some weeks-long coding tasks


Links for 2026-04-08

Claude Mythos


Links for 2026-04-05

“It is going to go to AGI.”


March 2026

Links for 2026-03-31

Claude’s Cycles


Links for 2026-03-27

Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification


Links for 2026-03-24

Coding Agents Build Chess Engines in LaTeX and Learn Esoteric Languages from Scratch


Links for 2026-03-21

AI Interview with Jakub Pachocki


Links for 2026-03-18

AI LATENT: Learning Athletic Humanoid Tennis Skills from Imperfect Human Motion Data


Links for 2026-03-12

AI Demis Hassabis: Ten years after AlphaGo’s legendary victory, our ultimate goal is on the horizon.


Links for 2026-03-09

AI AI is progressing rapidly: GPT-5.4 Pro (xhigh) has achieved a massive 10 point gain in CritPt


Links for 2026-03-06

Teaching LLMs to reason like Bayesians