标签: 大模型

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

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

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

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

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

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

Quote of the day by musician Nick Cave on AI-generated lyrics: ‘A grotesque mockery of what it is to be human’ — dismissing the use of AI in the creative process

Quote of the day by musician Nick Cave on AI-generated lyrics: 'A grotesque mockery of what it is to be human' — dismissing the use of AI in the creative process

澳大利亚音乐人 Nick Cave 公开抨击 AI 生成的仿他风格的歌词是“对人类本质的 grotesque mockery(荒诞嘲弄)”,称算法没有感受力,无法复制真正的人类创作。与此同时,流媒体平台上的 AI 生成歌曲占比已超过一半,音乐产业正面临前所未有的大规模机器创作冲击。