Every AI story we track on Mathlib: 1 story so far, each summarized in our own words and linked to the publisher that reported it.
