The Secret to Interesting Math May Be a Short Statement and a Long Proof
A formal-math system found that short statements with hard proofs can guide theorem discovery—and beat proof length alone.
mathematical discovery
An AI’s Hidden Map Links a One-Dimensional Rule to a 2D World
A language model’s hidden representations helped surface a surprising bridge between one-dimensional and two-dimensional cellular automata.