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.
formal proofs
A New Map Could Help Mathematicians Find the Lemma They Need
A theorem-by-theorem map links millions of mathematical claims across papers and Lean proofs, offering new ways to search—and revealing limits.