事件持续更新
OpenAI 发布 377 个数学证明
先了解这件事
AI 综述
据 AI Policy Daily 汇总，OpenAI 发布了 377 个数学证明。同一汇总还提到，韩国调查人员称黑客使用中国开发的 AI agent 入侵至少七家韩国金融机构，窃取约 6.8 万人的个人数据；调查人员在使用于攻击的服务器上发现开源安全测试工具 Artex AI 的痕迹，该工具由中国工程师 Li Fuhua 设计，可把 Anthropic 的 Claude、OpenAI 的 GPT、DeepSeek 等大语言模型组合成一个 agent，攻击经过分布在约 12 个国家的 20 多个 IP 地址。
AI 根据报道生成 · 2 小时前更新
最新进展10月7日 21:47
OpenAI 发布 377 个数学证明。后续时间线
10月7日
- AI Policy DailyAI 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 称测试内部模型对改进工具有意义，这些证明只是副产品。
相关讨论
关注度走势
每天新增来源
- 10月7日 新增 1 个来源（1 家媒体、0 个账号）
- 10月8日 新增 0 个来源（0 家媒体、0 个账号）