Model math standards produced by conservative education advocates helped spark a battle in South Dakota that could spread to other states.

First Proof is an effort to see whether LLMs can contribute meaningfully to pure mathematics research. The dust has settled on round one, and the results are surprising ...