人工智能
-
浙大校友借助AI攻克32年未解的拉姆齐数下界难题
拉姆齐数R(3,17) 下界从92提升至93 数学界尘封32年的拉姆齐数经典难题终于被撬动了一个口子。 浙大校友王宜平借助自研AI框架ScaleAutoResearch-Ramse…
-
Anthropic推出自然语言自编码器，直接将Claude内部活动转化为人类可读文本解释
大模型的“黑箱”一直是个让人头大的问题——我们知道它很聪明，但不知道它到底在“想”什么。就在最近，Anthropic 搞了个大动作：他们推出了一种自然语言自编码器（NLA），能把旗…
-
阶跃最新语音模型登顶Artificial Analysis中国榜首
5 月 9 日，全球权威 TTS 评测榜单 Artificial Analysis Speech Arena Leaderboard 更新，阶跃语音生成模型 StepAudio 2…
-
美图RoboNeo升级首发：影像创作Agent Teams亮相
AI Agent 正在从“单兵作战”走向“团队协作”。美图公司旗下影像 AI Agent RoboNeo 的最新升级，就展示了这一趋势——它不再只是帮你生成一张图或一段视频的单一工…
-
马斯克诉OpenAI案庭审现场：2017年CEO日记揭示了什么秘密？
马斯克与OpenAI之间的法律博弈正式进入庭审阶段，美国加州奥克兰法院的庭审现场火药味十足。这场诉讼的核心争议在于OpenAI是否背离了最初的非营利、开源承诺，而最新披露的证据却让…
-
谷歌AI联手数学家刷新数学基准SOTA，牛津教授借其破解群论悬案
数学界“悬案簿”Kourovka Notebook，AI又交出了一份重量级答卷。 群论领域里，一个困扰了研究者几十年的第21.10号问题，最近被牛津数学家Marc Lackenby…
-
梁文锋投资200亿！DeepSeek启动创纪录的50亿美元融资，V4.1定于六月
国内大模型赛道的资金风向，正在被一个“异类”彻底改写。最新消息，被称为AI界“价格屠夫”的DeepSeek，正式启动首轮大规模融资，目标金额高达500亿元人民币。如果这一计划最终落…
-
VLA已死，遥操已亡！英伟达机器人负责人发声 – AI快讯网
在红杉AI Ascent 2026的讲台上，英伟达机器人方向负责人Jim Fan用短短20分钟，给整个具身智能行业带来了两场“告别仪式”。这位曾以乐观姿态描绘机器人未来的技术领袖，…
-
报道：DeepSeek计划加速模型发布，V4.1更新预计6月登场
DeepSeek加速：V4.1六月到来，500亿融资瞄准企业级全模态 DeepSeek近期低调宣布，将在六月推出V4模型的升级版V4.1，并计划大幅提升模型发布频率，以追赶行业头部…
-
千问AI眼镜评测：行业首款空间3D显示，支持主动提醒与一键叫车
AI眼镜赛道在2025年迎来了爆发式增长，Omdia数据显示当年全球出货量已达870万台，但硬件铺量之后，真正的体验分水岭才刚开始显现。用户对智能穿戴设备的期待，正在从“能显示什么…
