@misc{indiciae5e16e9c35c67,
  title = {Computer's ability to verify proof is an illusion.},
  author = {Derek Partridge},
  year = {2003},
  doi = {10.1038/425121c},
  url = {https://pubmed.ncbi.nlm.nih.gov/12968147/},
  note = {Source identifier: 12968147}
}