{
"$type": "site.standard.document",
"bskyPostRef": {
"cid": "bafyreicrqu2yncnirypoaaamly64uycu44mtrvkvpjws5g5gazcq52agxy",
"uri": "at://did:plc:k7h5fn3kdhjpj37pc6yhno2o/app.bsky.feed.post/3mehkusjwmel2"
},
"coverImage": {
"$type": "blob",
"ref": {
"$link": "bafkreihdjcdqupmznlynnaka6m7ugcvrfzsrtragbt5sur55bzja5pnnom"
},
"mimeType": "image/jpeg",
"size": 69435
},
"path": "/article/mathematicians-launch-first-proof-a-first-of-its-kind-math-exam-for-ai/",
"publishedAt": "2026-02-09T17:09:00.000Z",
"site": "https://www.scientificamerican.com",
"textContent": "Frustrated by the AI industry’s claims of proving math results without offering transparency, a team of leading academics has proposed a better way",
"title": "Mathematicians launch First Proof, a first-of-its-kind math exam for AI"
}