{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreibczutadjxcw3ugi54csvzlsph422fosaiditkkp4scltcfnq7pse",
    "uri": "at://did:plc:66xvc77orkd4o7hvdf7m5vkz/app.bsky.feed.post/3mgc2tmhu2be2"
  },
  "coverImage": {
    "$type": "blob",
    "ref": {
      "$link": "bafkreig5kteuuvi7i5flk25pbchznh4gwymdmoeo5a52qienhccv2c3tum"
    },
    "mimeType": "image/jpeg",
    "size": 57238
  },
  "path": "/nogataka/items/ecbaedb3d7ffc29c9fb2",
  "publishedAt": "2026-03-05T05:28:00.035Z",
  "site": "https://qiita.com",
  "tags": [
    "テクノロジー",
    "AI",
    "数学",
    "あとで読む",
    "論文",
    "Claude",
    "科学",
    "研究"
  ],
  "textContent": "AIが発見し、人間が検証・証明する。数学研究における人間とAIの協働モデルが、世界最高峰の研究者によって初めて公式に記録された。 見えた限界 公平を期すために、今回の事例で見えた限界も整理しておく。 Claudeにできたこと 複数のアプローチを体系的に試行する 失敗から方針を切り替える 分野横断的な発想で問題を...",
  "title": "コンピュータ科学の神様が「AIに負けた」日 — Donald Knuth『Claude's Cycles』を読み解く - Qiita",
  "updatedAt": "2026-03-04T11:07:54.000Z"
}