{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreicuh6wb5iyvzz2safrkfxrnralnwileem4ltk7vjsohevuibufegq",
    "uri": "at://did:plc:ctcqaqa3tlbhfwmfefti346h/app.bsky.feed.post/3mjpyi6l4yeb2"
  },
  "coverImage": {
    "$type": "blob",
    "ref": {
      "$link": "bafkreidldp3bwdg2fhminykzuomvu7zb2wrwuezxrwejwksmsnzgi4geyu"
    },
    "mimeType": "image/png",
    "size": 1230732
  },
  "path": "/pro/essentially-no-human-intervention-chinese-ai-solves-12-year-old-math-problem-in-just-80-hours-and-even-proves-it",
  "publishedAt": "2026-04-17T22:05:00.000Z",
  "site": "https://www.techradar.com",
  "tags": [
    "Pro",
    "AI Platforms & Assistants"
  ],
  "textContent": "Peking University's dual agent AI solved Anderson's 2014 algebra conjecture in 80 hours with no human intervention and full verification.",
  "title": "'Essentially no human intervention': Chinese AI solves 12-year-old math problem in just 80 hours — and even proves it"
}