{
  "date": "2026-05-23",
  "generated_at": "2026-05-23 07:48:19",
  "status": "正常",
  "total_sources": 15,
  "total_news": 67,
  "categories": {
    "AI/大模型": 8,
    "科技前沿": 8,
    "开发者热点": 8,
    "财经投资": 6,
    "国际时事": 2
  },
  "title": "AlphaProof Nexus：用形式化验证驱动AI数学证明搜索"
}