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