GREENVILLE, Ala. — Toward the end of a math lesson on a sunny Friday in October, fourth-grade teacher D’Atra Howard and math instructional coach LaVeda Gray ducked out of the classroom to huddle.
AI could soon spew out hundreds of mathematical proofs that look "right" but contain hidden flaws, or proofs so complex we ...