Terence Tao: A crowdsourced repository for optimization constants?

AI Global: Global Sector Trends on Generative AI (1/16/26) [pdf]

SETA: Scaling Environments for Terminal Agents

List of Open Problems in Sublinear Algorithms [pdf]

Tools for finding Busy Beaver Turing Machines and Proving others as non-halting

List of Web Archiving Initiatives

Ghost Archive

SeedFold and SeedProteo

Fantastic Reasoning Behaviors and Where to Find Them

End-to-End Test-Time Training for Long Context [pdf]

PostTrainBench: Measuring how well AI agents can post-train language models

Terence Tao: AI contributions to Erdős problems

Animated AI

List of Ciphertexts

Convolution: The secret behind filtering

LifeWiki | The Wiki for Conway's Game of Life

Rivian Reveals New AI Assistant, Lidar, and Autonomous Driving Coming in 2026

Zevo wants to add robotaxis to car-share fleet, starting with newcomer Tensor

Undeciphered Writing Systems

Evoplex – platform for developing agent-based models and multi-agent systems

Cryptids

Arc Prize 2025 Results and Analysis: Year of the Refinement Loop

Ben Green's list of 100 Open Problems [pdf]

Probing the Critical Point (CritPt) of AI Reasoning

The road to commercial success for neuromorphic technologies

Making AI More Energy Efficient | Extropic CTO [video]

AI Global: Global Sector Trends on Generative AI (10/10/25) [pdf]

ShinkaEvolve in Action: How a Human-AI Partnership Conquered a Coding Challenge

How the NanoGPT Speedrun WR dropped by 20% in 3 months

The AI water issue is fake

We're All Behind the Curve

Microsoft Unveils First Nvidia GB300 NVL72 Supercomputing Cluster for OpenAI

AMD could beat Nvidia to launching AI GPUs on the cutting-edge 2nm node

Not all bits are made equal

Data-driven fine-grained region discovery in the mouse brain with transformers

Mathematical discovery in the age of artificial intelligence

MathArena Apex: Unconquered Final-Answer Problems

Agent S3: Approaching Human-Level Computer Use with Wide Scaling

Advancing theoretical computer science with AlphaEvolve

Dreamer 4 - Training Agents Inside of Scalable World Models

AI Companies Data Hub

The Bitter Lesson's Bitter Lesson

The QMA Singularity

Beyond Power Laws: Scaling Laws for Next-Token Prediction

Why GPT-5 used less training compute than GPT-4.5 (but GPT-6 probably won't)

Anything Max – an autonomous software engineer

Euclyd – Startup to Take on AI Inference with Sip, Custom Memory

Release: Power Retention