{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreicug356b7xwgtzi7nrthutunkfxkkhiacokj2ix4ygbaby4bm6i2e",
    "uri": "at://did:plc:bbnssswytihj7d2gpoyixijw/app.bsky.feed.post/3mj6pnw5hba62"
  },
  "coverImage": {
    "$type": "blob",
    "ref": {
      "$link": "bafkreieqoqnm35v7h6ozcxxyuh3uymuor3ick6k2tegq2632ngezcgu2ie"
    },
    "mimeType": "image/jpeg",
    "size": 128172
  },
  "path": "/article/2522687-the-secret-project-to-settle-controversial-maths-proof-with-a-computer/?utm_campaign=RSS%7CNSNS&utm_source=NSNS&utm_medium=RSS&utm_content=home",
  "publishedAt": "2026-04-10T16:30:13.000Z",
  "site": "https://www.newscientist.com",
  "textContent": "Working in secret for more than two years, a group of mathematicians has set out to resolve of the longest and most bitter battles in modern mathematics",
  "title": "The secret project to settle controversial maths proof with a computer"
}