Axiom Math says its AxiomProver system has produced a machine-checked Lean 4 proof of the strongest known result on gaps ...

Hui He explains why artificial intelligence is fundamentally transforming mathematical work—and why that’s a good thing ...

On a Thursday afternoon, the Carmichael Library is offering a unique way for kids to stay engaged during summer break by pairing them with dogs to improve their reading skills. "You get your summer ...