{
 "generated": "2026-11-05",
 "sha": "707df050bf85",
 "node": {
  "id": "org:math-inc",
  "type": "Organization",
  "name": "Math Inc.",
  "org_type": "Developer",
  "kind": "lab",
  "homepage": "https://www.math.inc/",
  "aliases": [
   "Math Inc",
   "Math, Inc."
  ],
  "entry": "agent",
  "by": "episode-review-3b",
  "at": "2026-11-03T16:36:59Z",
  "degree": 0.0009,
  "n_apps": 0,
  "n_models": 0
 },
 "page": "https://xiaopingfeng.com/graph/e/org/math-inc/",
 "out": [
  {
   "type": "alumni_from",
   "sentence": "Math Inc.的核心成员来自SpaceXAI",
   "direction": "out",
   "id": "org:spacexai",
   "name": "SpaceXAI（原 xAI）",
   "unit": "xAI",
   "note": "Math Inc. 由 Christian Szegedy 创办，他是 xAI 创始研究员之一：2025-02 离开 xAI，2025-06 任 Morph Labs 首席科学家，2025-09 宣布 Math Inc.。",
   "status": "agent",
   "evidence": [
    {
     "kind": "media",
     "label": "媒体报道",
     "text": "据 TechCrunch 标题和摘要（2026-02-10）：xAI 12 位创始成员已走 6 位，Christian Szegedy 于 2025 年 2 月离开。",
     "url": "https://techcrunch.com/2026/02/10/okay-now-exactly-half-of-xais-founding-team-has-left-the-company/"
    },
    {
     "kind": "media",
     "label": "媒体报道",
     "text": "xAI 创始研究员名单包含 Christian Szegedy。",
     "url": "https://en.wikipedia.org/wiki/XAI_(company)"
    },
    {
     "kind": "social",
     "label": "官方社交帖",
     "text": "据 Math, Inc. 推文标题（2025-09）：宣布首个自动形式化智能体 Gauss，完成 Terry Tao 和 Alex Kontorovich 的强素数定理项目。",
     "url": "https://x.com/mathematics_inc/status/1966194751847461309"
    },
    {
     "kind": "own",
     "label": "本站页面",
     "text": "本站 AI Buzzwords EP.57 的备课笔记里的链接讲到这件事",
     "url": "https://xiaopingfeng.com/buzzwords/57/"
    }
   ]
  }
 ],
 "in": []
}