{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreiga3bxiiwan2tkbubqqtajtnlbolxivzmb5dc4765bynbrpubjvcy",
    "uri": "at://did:plc:w5d2wdujqqvclobm2voocn7l/app.bsky.feed.post/3mempgkwlhi22"
  },
  "coverImage": {
    "$type": "blob",
    "ref": {
      "$link": "bafkreifkv2jfji6meg6mwymircn2xrnzfefnl6pbin5umq4rjxx3mvlqca"
    },
    "mimeType": "image/jpeg",
    "size": 170326
  },
  "path": "/article/a-new-ai-math-ai-startup-just-cracked-4-previously-unsolved-problems/",
  "publishedAt": "2026-02-11T23:00:00.000Z",
  "site": "https://wired.jp",
  "tags": [
    "Business",
    "数学 / Mathematics",
    "生成AI / Generative AI",
    "大規模言語モデル / Large Language Model（LLM）",
    "スタートアップ / Startup",
    "人工知能 / AI",
    "ビジネス / Business"
  ],
  "textContent": "スタートアップであるAxiomのAIが、難解な数学の問題の答えを導き出した。AIの推論能力が、研究の現場で実用段階に入りつつあることを示す事例だ。",
  "title": "AxiomのAI、未解決だった数学問題に解を示す"
}