AI is now helping produce research-level mathematics, but experts say verifying proofs not generating them is becoming the ...

The GSMM Camp is a weeklong workshop that builds interdisciplinary problem-solving skills for graduate and advanced undergraduate students. Participants work in teams on mathematically rich problems ...

Three Duke Rugby players who are math majors tackled a challenge inspired by professional soccer Daniel Cheng, Malachy ...

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 ...

AI tools are increasingly being used to track and monitor us both online and in-person, yet their effectiveness comes with big risks. Computer scientists have developed a new mathematical model which ...