AI Cracks Math Proofs That Took Humans Months to Check
A startup's AI just verified two complex mathematical proofs in weeks instead of months, surprising scientists and opening doors to faster scientific progress. The breakthrough could help mathematicians keep up with an explosion of new research.