@Article{         scholtze,
  Author        = "Castelvecchi, Davide",
  date-added    = "2022-04-28 23:39:41 +0200",
  date-modified = "2022-04-29 08:03:59 +0200",
  Title         = "MATHEMATICIANS WELCOME COMPUTER-ASSISTED PROOF",
  File          = "Mathematicians welcome computer-assisted proof in ‘grand unification’ theory - d41586-021-01627-2.pdf"
}

@Article{ scholtze, Author = "Castelvecchi, Davide", date-added = "2022-04-28 23:39:41 +0200", date-modified = "2022-04-29 08:03:59 +0200", Title = "MATHEMATICIANS WELCOME COMPUTER-ASSISTED PROOF", File = "Mathematicians welcome computer-assisted proof in ‘grand unification’ theory - d41586-021-01627-2.pdf" }