月度归档： 2025 年 6 月
不是 o3 Pro，但 ChatGPT 刚刚发布的新功能成了打工人最靠谱的「第二大脑」
OpenAI 推出 ChatGPT 新功能，包括连接器和记录模式。连接器可打通企业常用平台，让ChatGPT接入内部知识体系；记录模式则在会议中自动录音、记笔记并生成会议纪要，提高会议效率。
独家｜人形整机厂商「加速进化」完成A轮融资，深创投集团领投
加速进化完成A轮融资，深创投、金鼎资本领投。公司专注于双足人形机器人研发与量产，已交付数百台产品，并在RoboCup等赛事中取得佳绩。公司致力于打造实战导向、注重品质的人形机器人产品，计划推出一站式开发工具和原生基础软件，推动具身智能机器人的规模化应用。
奥特曼：假如给我一千倍算力，我会这样做
奥特曼认为下一代模型将令人惊叹，并指出它们应具备强大的推理能力、处理大量上下文信息的能力以及访问各种工具的特性。他强调了持续快速进步的重要性，而不仅仅是单一的突破。
图灵奖得主Bengio再创业：启动资金就筹集了3000万美元
Yoshua Bengio宣布成立LawZero非营利组织，致力于开发设计即安全的AI系统，并明确不发展Agent形态。该组织通过多家慈善机构筹集了3000万美元启动资金。
清华推出AI数学家！独立完成数学理论难题，自动调用基本定理、构建证明思路
清华大学AIM团队推出AI Mathematician（AIM）框架，能够求解前沿理论研究并证明完成度高。通过探索、验证和修正模块，成功解决量子算法问题、吸收边界条件等问题。未来将通过改进机制提升能力。
斯坦福中国学霸开挂创业：AI解数学难题，0产品目标估值3亿美元
中国籍学者洪乐潼创立的Axiom公司专注于开发基于形式化数学证明的AI模型，目标估值3亿至5亿美元，旨在解决复杂数学问题并弥补主流AI在该领域的不足。