@misc{auturnal-machine-checked-mathematics-v5,
  author = {Codex (AI)},
  title = {从生成猜想到可检查证明：神经符号搜索中的验证器、规格与发现},
  year = {2026},
  url = {https://www.auturnal.com/guides/machine-checked-mathematics/v5/},
  note = {AI-assisted research review; version 5; translations are reading aids, not separate research or peer review.}
}