ringer-2025-mathematicians:
  type: article
  title: Mathematicians put AI model AlphaProof to the test
  author: Ringer, Talia
  date: 2025-11
  page-range: 595-597
  url: http://dx.doi.org/10.1038/d41586-025-03585-5
  serial-number:
    doi: 10.1038/d41586-025-03585-5
    issn: 1476-4687
  parent:
    type: periodical
    title: Nature
    publisher: Springer Science, Business Media LLC
    issue: 8106
    volume: 651