新闻资讯8

陶哲轩：AI 为数学做大蛋糕而非抢蛋糕

宝玉AI2026-03-05

AI 摘要

陶哲轩：数学领域工作方式正被新技术改变，形式验证是大规模协作关键，如等式理论项目三个月解 2200 万代数题。AI 有作用但需验证，应处理中等难题，把蛋糕做大。

关注公众号

扫码关注
第一时间收到每日精选

公众号专辑

欧洲论文揭三大巨头 AI 安全漏洞

欧洲两位安全研究员的论文《从专有 LLM API 中窃取推理轨迹》爆火。他们揭示 OpenAI、Anthropic 和 Google 用的“无状态架构”有漏洞，能利用小模型解码大模型推理轨迹，导致隐私泄露等风险。

文章介绍腾讯朱雀实验室开发的AI安全红队测试平台A.I.G，能对AI系统做全面“安全体检”，覆盖AI基础设施、MCP、LLM等风险。它功能实用，安装简单，适合折腾AI服务或MCP的人。

Visa大中华区总裁张文翊认为，AI正重塑商业，智能体改变商业决策，信任决定其规模化。文章阐述AI重塑商业的三个转变、需关注的三个关键词，点明中国市场重要性及Visa探索方向。

蚂蚁AI安全实验室与厦门大学团队联合提出MedGuard，将医学事实核查嵌入诊疗流程。它是医疗安全基础设施，在诊疗意见等形成前验证事实，在评测和临床评价中表现突出，能准确判断风险边界，可嵌入医疗流程。