Axis of Ordinary

By Alexander Kruel

Links for 2026-05-30

AxiomProver
May 30 • Alexander Kruel

Links for 2026-05-25

AI-Driven Formal Proof Search
May 25 • Alexander Kruel

Links for 2026-05-21

The Erdős Breakthrough
May 21 • Alexander Kruel

Links for 2026-05-15

AI Multi-Stream LLMs: Unblocking Language Models with Parallel Streams of Thoughts, Inputs and Outputs
May 15 • Alexander Kruel

Links for 2026-05-12

Fields Medalist Timothy Gowers tries GPT-5.5 Pro
May 12 • Alexander Kruel

Links for 2026-05-08

GENE-26.5
May 8 • Alexander Kruel

Links for 2026-05-04

AI Self-Improving Pretraining: using post-trained models to pretrain better models
May 4 • Alexander Kruel

Links for 2026-04-30

AI Thinking Without Words: Efficient Latent Reasoning with Abstract Chain-of-Thought
Apr 30 • Alexander Kruel