OpenAI's Astra Solved Decades-Old Math Problems For $2,000

Assessment of open AI math results

demoniC takes the dynamic-JIT lineage of HolyC, the vectorized math of Julia, the slicing ergonomics of Python, and the memory discipline of Rust

Classical Pell Equations Outperform math.sqrt in float64 by up to 2.5×

Towards a Theory of Bugs: The Ruliology of the Unexpected

Connections in Math: the two kinds of random

Logic for Programmers

Methinks it is a weasel

Systems and Delays

Claude found a counterexample to the Jacobian Conjecture

Human mathematicians are being outcounterexampled

Cross-stitch prep for math nerds

Theo Conjecture solves 35-year-old math problem, finds a term no one predicted

Fast Synthesis of Basic Oscillators

Mathematicians still don't know the fastest way to multiply numbers

Recreating the math behind the first stealth aircraft

The Dark Night of Mathematics

Inside the Secret Math Society Known Simply as Nicolas Bourbaki

Show HN: Elevators

Exercises in benchmarking and evals, part 7: DeepSWE, Senior SWE-Bench, napkin math, and winter tires

Jacobian Conjecture from Wolfram MathWorld

txm: Terminal Math Rendering Engine

Markets are competitive if and only if P != NP

America’s math and reading scores tanked after schools ditched textbooks for screens—and AI could worsen the brain rot

FPTalks 2026 — Thu Aug 6, free, online

log is non-monotonic in PHP and Lua

How Profitable is Inference? Doing the Math on Kimi K3

A Counterexample to Wegner's Conjecture for Axis-Parallel Rectangles

A 'new way of thinking' boosted math proficiency in an East Palo Alto school

I'm a physics student and I built a zero-dependency C++20 framework to do math and data plotting

More →