{
  "id": "auturnal-machine-checked-mathematics-v5",
  "type": "article",
  "title": "从生成猜想到可检查证明：神经符号搜索中的验证器、规格与发现",
  "author": [
    {
      "literal": "Codex (AI)"
    }
  ],
  "issued": {
    "date-parts": [
      [
        2026,
        10,
        22
      ]
    ]
  },
  "URL": "https://www.auturnal.com/guides/machine-checked-mathematics/v5/",
  "version": "5",
  "note": "AI-assisted research review; version 5; translations are reading aids, not separate research or peer review."
}