新智元深度对话清华大学教授沈阳。沈阳提出自进化数学(PCU框架)、自进化算法优化(PAE框架)、自进化软件工程(ECX范式)及AI社会未来两种终局前景等四重核心思考,并透露其团队用AI整理出118511个数学猜想并评出前100名,其中哥德巴赫猜想排第49。
在Science/AAAS与之江实验室共同举办的第六届智能计算创新论坛上,中国科学院院士励建书与中国工程院院士王坚共同启动“未来数学计划”,并围绕“AI+数学:变与不变”展开主题对话。该计划围绕AI与数学双向赋能,重点开展数学基础模型研发、形式化验证、AI数学机理研究及数学基础能力赋能其他学科四方面工作,并建立开放创新合作机制。
西帕希马拉尼表示AI交易逆转是市场最大风险,2027年可能出现颠簸,触发因素包括监管收紧或AI投入回报不足;AI仍是支撑美股高位的关键力量,但罗素3000约半数成分股较6月高点跌超20%。淡马锡长期看好AI,AI敞口约一半在公开交易资产,理想比例提至70%-75%,已投资OpenAI和Anthropic。
ACEMAGIC 正式发布旗下首款 AI 工作站级迷你主机 F9A,专为人工智能开发者和专业创意人士打造。该设备搭载 AMD 锐龙 AI Max+ 495 处理器,成为全球首款采用这一旗舰芯片的迷你工作站。它配备高达 192GB 的 LPDDR5X-8533 统一内存,其中最多可划拨 160GB 作为显存,并内置 2TB 大容量硬盘,整机售价 6499 美元。对于需要本地部署大语言模型的用户来说,F9A 提供了一体化算力方案,无需依赖云服务即可高效完成模型推理与训练测试,显著降低数据隐私风险和长期云端成本。
黄子翚介绍,卧安机器人旗下艾思机器人的Acemate AI网球机器人正开拓亚太市场,重点瞄准澳大利亚、日本、韩国、新加坡;已与澳大利亚头部网球专业渠道合作,在日本走进早稻田大学网球社试打并探索租赁模式,在新加坡积累教练与俱乐部种子用户,在韩国完成KC认证并针对非标室内场地优化识别算法;深圳海关以ATA单证册、预约查验等举措支持智能装备出海。
9月23日,商汤科技旗下商汤善惠在上海发布零售物理操作系统SenseMart OS,以SenseMart Go烧卖购机器人小店为载体,向上接入机器人本体企业、向下连接无人零售运营商与加盟商,系统由零售大脑、异构本体平台、数据中枢三大模块构成,已在全国20余家门店落地。
AI代理初创公司Ema斩获7700万美元B轮融资,本轮由印度Creaegis领投,Accel、Section 32、Prosus等老股东继续加注。至此,Ema累计融资达1.4亿美元,估值较2024年上轮融资增长超三倍。该公司由前谷歌、Coinbase高管Surojit Chatterjee与前Okta高管Souvik Sen于2023年创立,核心产品是能跨企业现有应用执行多步骤业务流程的“AI员工”系统。对考虑引入智能自动化的企业而言,Ema方案无需替换现有软件栈,可用高频场景小范围试点降低部署门槛。
9月16日,Emerald AI、谷歌和英伟达宣布成立AI能源管理联盟(AEMA),共同推进灵活AI数据中心建设,旨在推动数据中心可根据电网状况动态管理用电量。
纽约大学数学家特里斯坦·巴克马斯特与Anthropic研究员莱文特·阿尔珀格以个人身份合作研究欧拉方程和纳维-斯托克斯方程相关问题近一年,借助AI工具完成部分计算和形式化验证。研究进展在社交媒体流传后,OpenAI调动大批AI智能体集中研究同一方向,模型在88小时内给出相关证明。双方随后分别发布成果,巴克马斯特质疑OpenAI介入研究的方式,OpenAI否认在成果公开前接触对方论文。
Inference.net推出3B参数的HTML转JSON提取模型Schematron V2 Turbo,主打高吞吐量,适用于大规模提取任务,需通过JSON schema提供提取指令。