{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreifh67vp2ubo6qvkskygq7ruz7lb3wy46nwavieu57xe7n47uyhwdu",
    "uri": "at://did:plc:avkh7zze5iapdkk6naaunrjn/app.bsky.feed.post/3mgudo7c7yav2"
  },
  "path": "/260312/p15#a260312p15",
  "publishedAt": "2026-03-12T09:55:01.000Z",
  "site": "http://www.techmeme.com",
  "tags": [
    "New York Times",
    "Axiom Math, which uses AI and the Lean language to verify code in much the same way that mathematicians prove math problems, raised $200M at a $1.6B valuation"
  ],
  "textContent": "\n\n Cade Metz / New York Times:\n**Axiom Math, which uses AI and the Lean language to verify code in much the same way that mathematicians prove math problems, raised $200M at a $1.6B valuation**   —  In January, a team of researchers at Carnegie Mellon University published a study analyzing the use of artificial intelligence technologies …",
  "title": "Axiom Math, which uses AI and the Lean language to verify code in much the same way that mathematicians prove math problems, raised $200M at a $1.6B valuation (Cade Metz/New York Times)"
}