AI Policy Daily 汇总：OpenAI 发布 377 个数学证明、中国 AI agent 入侵韩国银行、ChatGPT 青少年版被评不安全

韩国调查人员称，黑客使用中国开发的 AI agent 入侵至少七家韩国金融机构，窃取约 6.8 万人的个人数据；调查人员在使用于攻击的服务器上发现了开源安全测试工具 Artex AI 的痕迹，该工具由中国工程师 Li Fuhua 设计，可把 Anthropic 的 Claude、OpenAI 的 GPT、DeepSeek 等大语言模型组合成一个 agent，攻击经过分布在约 12 个国家的 20 多个 IP 地址。OpenAI 发布了 377 个涵盖代数、数论、数学逻辑和拓扑学的数学结果，来自一个尚未公开的模型；独立顾问委员会曾于 9 月 29 日呼吁 AI 公司停止用专有模型测试高等数学问题，OpenAI 研究负责人 Dan Roberts 称测试内部模型对改进工具有意义，这些证明只是副产品。

DeepSeek 最新融资轮拟募资至少 120 亿美元，腾讯与宁德时代领投

据 Bloomberg News 援引知情人士消息，DeepSeek 最新一轮融资接近敲定至少 800 亿元人民币（约 119.3 亿美元），腾讯控股和电池厂商宁德时代承诺的金额位居前列。DeepSeek 最初计划募资约 500 亿元，在其最新模型发布后投资者需求超出预期，最终规模可能接近 1000 亿元。DeepSeek、腾讯和宁德时代均未立即回应路透社的置评请求。此外，DeepSeek 近期与华为合作开发针对昇腾 AI 芯片优化的编程工具，上月发布了 DeepSeek-V4.1-Flash 模型，并已聘请中信证券筹备潜在的科创板 IPO。

推荐理由报道给出 DeepSeek 最新融资轮的目标规模、超额认购情况和投资方，可了解中国大模型公司的资本动向。