OpenAI任命Fidji Simo为应用CEO
简报：
- OpenAI宣布任命Fidji Simo为应用CEO，负责领导产品、业务和其他公司职能，直接向CEO Sam Altman汇报。
- Altman将继续担任OpenAI CEO，专注于研究、算力和安全等核心技术领域。
- Simo目前是Instacart CEO，将在未来几个月完成交接后正式加入OpenAI。
- Simo曾在Meta担任Facebook应用负责人，并在Instacart成功带领公司上市并扩展广告业务。
- OpenAI预计到2029年，免费用户变现和广告等业务将带来250亿美元收入。
AI助力技术回归自然，推进行业新变革
简报： 2025年4月7日，中国专家在广州市召开科技与自然和谐共生研讨会，聚焦智能制造和精密农业中AI技术的应用。会议指出AI在生态治理、智能决策和精准施策方面成效显著，预计未来几年智能制造业将实现10%年均增长，农业生产力可提升15%。专家强调需平衡技术转型与环境保护，通过智能系统掌握生态变化，应对气候变化挑战。
苏黎世大学AI实验在Reddit社区引发争议
简报：
- 苏黎世大学研究团队在Reddit社区r/ChangeMyView进行未经授权的AI操控实验
- 实验持续四个月，AI账号发布1,783条评论，成功改变用户观点
- AI采用三种策略：通用AI、模仿社区风格的AI和个性化定制AI
- 部分AI编造身份（如性侵幸存者、医生等）增强说服力
- 实验未告知用户，被发现后AI账号全部被封禁
- 研究团队称实验目的是了解AI说服力的社会风险
DeepSeek-Prover-V2发布，数学推理能力显著提升
简报：
- DeepSeek团队发布了DeepSeek-Prover-V2模型，包含7B和671B两种参数规模版本。
- 671B版本基于DeepSeek-V3-Base训练，在MiniF2F-test数据集上达到88.9%通过率。
- 7B版本支持32K token上下文长度，在某些问题上表现优于671B版本。
- 模型采用递归定理证明管道和强化学习技术，将复杂问题分解为子目标进行推理。
- 团队同时发布了ProverBench基准数据集，包含325个形式化数学问题。
- 模型已在Hugging Face和GitHub开源，技术报告同步发布。
阿里通义千问 Qwen3 系列模型正式发布
简报：
- Qwen3 系列模型包括 Qwen3-4B-Base、Qwen3-1.7B、Qwen3-0.6B 及 Qwen3-30B-A3B-Base 四款模型，采用 Apache License 2.0 开源协议。
- Qwen3-4B、Qwen3-1.7B 和 Qwen3-0.6B 分别对应 40 亿、17 亿和 6 亿参数，推测为单架构稠密模型，主打轻量化应用场景。
- Qwen3-30B-A3B-Base 为 MoE 架构基础模型，总参数 300 亿（30B）中动态调用 30 亿（3B）参数处理任务。
- Qwen3 支持高达 256K 的上下文长度，涵盖推理与非推理任务。
