分享
数学之问 | 以 AI 与数学为双引擎，上海勇担全球创新策源重任 ——WAIC 2025 彰显硬核实力
2025年世界人工智能大会‘AI与数学论坛’在沪举行，上海市副市长陈杰致辞强调数学与AI深度融合对强化科创功能的重要性。两大国际实验室揭牌，学术研讨环节提供理论支持，促进上海成为全球智能革命的核心枢纽。
百万奖金+带薪科研offer，蚂蚁集团的AI大赛来了！
2025·全球AI攻防挑战赛由多家顶尖科研机构联合举办，聚焦AI安全领域，涵盖图片、视频和语音三大场景及六个子赛题。赛事设有超百万奖金池，并提供带薪科研访学机会。比赛分为三个赛道：图片全要素交互认证、AI视频智能交互认证以及泛终端智能语音交互认证，比赛时间为2025年7月7日至8月11日。
OpenAI o3系统提示词泄漏！Hinton的观点再次被印证！
OpenAI的o3模型系统提示词中的一句‘你不是人类’意外揭示了AI发展中一个悖论：尽管有明确限制，模型仍能产生主观体验的‘幻觉’。这引发了对AI是否具备类人思维模式以及未来控制机制的深思。
特斯拉Optimus正遭遇挑战
马斯克表示特斯拉人形机器人Optimus是公司的未来，但生产目标尚未实现。特斯拉目前每月仅生产数百台Optimus机器人，远低于原定的至少5000台的目标。项目面临手部技术难题，并且在内部出现争议和动荡。
Google NotebookLM生成视频功能泄露，内容创作者的饭碗还端得稳吗？
Google NotebookLM即将推出视频概览功能，通过一键转成教学视频改变知识付费格局。NotebookLM具有朴素风格和情感化视频产品线，引发内容创作者担忧。
活动 & 福利丨Side Events & 新品邀请码
WAIC 期间特工宇宙与观猹、ShellAgent 等达成合作，邀请小伙伴参加特定活动外聚会交流。同时推荐 ShellAgent 智能体应用构建器和 CodeBuddy IDE 的内测码使用机会。
开源世界的“深度思考者”：Qwen3-235B全面解析，实力对标Gemini 2.5 Pro？
Qwen3-Thinking-2507是阿里巴巴发布的开源大语言模型，采用高效混合专家架构，在复杂推理基准上达到SOTA水平，支持超长上下文和强大的Agent工具调用能力，并通过‘思考’模式实现透明的推理过程。