分类: AI 资讯

这应该是这个月最重要的AI进展的新闻!Anthropic上市得好好关注一波!但AI在数学领域最先有重大进展是非常自然的,因为数学是纯粹的形式逻辑,本质上也是一种语言,所以天然适合语言模型。但要注意,AI从原理上是没有逻辑推理的,它是靠见得多,通过归纳的方式把推理过程用形式语言堆出来。而大语言模型要通过纯粹的reasoning在涉及到强实验领域,在没有实验数据的输入下,获得重大的突破,还是相当困难。

这应该是这个月最重要的AI进展的新闻!Anthropic上市得好好关注一波!但AI在数学领域最先有重大进展是非常自然的,因为数学是纯粹的形式逻辑,本质上也是一种语言,所以天然适合语言模型。但要注意,AI从原理上是没有逻辑推理的,它是靠见得多,通过归纳的方式把推理过程用形式语言堆出来。而大语言模型要通过纯粹的reasoning在涉及到强实验领域,在没有实验数据的输入下,获得重大的突破,还是相当困难。

Anthropic让一个未发布的研究版Claude尝试攻克黎曼猜想,虽未完全解决,但在相关问题提升了黎曼zeta函数满足猜想零点比例的下界。这是大模型在纯数学推理上罕见的实质性进展,也为Anthropic的技术叙事增添了新筹码。

医生这个职业可能真的要重新定义自己的位置了。谷歌研究员干了一件狠事,他们把AI扔进了模拟的临床规培体系,不是让它背题库,而是逼它每天面对数千个难缠的虚拟病人。以前那些大语言模型最多也就是在多选题里拿高分,但那根本不叫临床医学。真正的临床是对话,是患者在描述症状时模棱两可,是你在信息不完整的情况下被迫做判断,是你得在病人说不舒服但又说不清哪里不舒服的时候稳住阵脚。 这套系统用的是在线强化学习框架,AI要连续和病人来回问答最多六十轮,中途…

医生这个职业可能真的要重新定义自己的位置了。谷歌研究员干了一件狠事,他们把AI扔进了模拟的临床规培体系,不是让它背题库,而是逼它每天面对数千个难缠的虚拟病人。以前那些大语言模型最多也就是在多选题里拿高分,但那根本不叫临床医学。真正的临床是对话,是患者在描述症状时模棱两可,是你在信息不完整的情况下被迫做判断,是你得在病人说不舒服但又说不清哪里不舒服的时候稳住阵脚。 这套系统用的是在线强化学习框架,AI要连续和病人来回问答最多六十轮,中途…

谷歌研究员用在线强化学习框架训练了一个名叫 ResidencyRL 的临床推理 AI,让它连续与数千个刁钻的“虚拟病人”进行最多 60 轮诊疗对话。双盲评估显示,专家在 87.6% 的场景中更认可这个模型,红旗症状漏诊率下降 31%。这是大语言模型第一次被拉进完整临床决策流程里接受检验。

提供“100%人工撰写、绝不使用AI”医疗研究的公司,实际是100%AI生成的。

提供“100%人工撰写、绝不使用AI”医疗研究的公司,实际是100%AI生成的。

号称“100%人工撰写、绝不使用AI”的医学研究服务网站 Research Gold,被调查发现其网站上的审稿专家多为AI生成的虚构人物,真实存在的所谓专家则毫不知情、身份遭盗用;连客服电话接听者都是死不承认自己是AI的智能助手。这件事暴露出AI在学术服务领域的滥用,比“用AI写论文”更深一层:直接用AI虚构…

让 Agent 读懂业务世界:Snowflake Cortex Agents 的本体驱动推理实践 | 技术实践

让 Agent 读懂业务世界:Snowflake Cortex Agents 的本体驱动推理实践 | 技术实践

Snowflake 正在为 Cortex Agents 引入“本体驱动推理”能力,让 AI 智能体不仅能查询数据表,还能理解“电子元器件包含电容器、电阻器”这类业务层级关系。在生物医学数据上的基准测试显示,结构化知识锚定能显著提升推理的准确性与可靠性,这为构建企业级可解释 AI 智能体提供了一条可落地的技术路…

群青智能联合创始人&CEO 吴哲明博士确认出席AICon深圳,将分享“从真实产线定义智能——工业具身智能的物理 AI 闭环”

群青智能联合创始人&CEO 吴哲明博士确认出席AICon深圳,将分享“从真实产线定义智能——工业具身智能的物理 AI 闭环”

AICon 全球人工智能开发与应用大会将于 8 月 21-22 日在深圳举办,群青智能 CEO 吴哲明博士将分享工业具身智能从真实产线出发的“物理 AI 闭环”实践——在机器人演示热闹但产业落地艰难的现实下,这次大会聚焦的是 AI 如何从能力突破走向真正的系统化构建。