人工智能

105 条相关内容

Claude 证明黎曼猜想取得了重大突破,这个事件有什么开创性意义?

Claude 证明黎曼猜想取得了重大突破,这个事件有什么开创性意义?

Anthropic宣布其尚未发布的科研版Claude在尝试证明黎曼猜想的过程中,将黎曼ζ函数临界线上零点比例的长期下界从41.6%提升至67.2%。尽管未能最终证明该猜想,但Claude通过组织多个子Agent协作、执行大量数值检验及编写脚本,在开放数学研究领域取得了突破。该结果已由内部数学家验证并经外部专家审阅。

知乎
如何评价 Anthropic 宣布将黎曼猜想的已知下界从 41.6% 提高到了 67.2%?

如何评价 Anthropic 宣布将黎曼猜想的已知下界从 41.6% 提高到了 67.2%?

Anthropic披露其未发布的Claude研究版模型在尝试解决黎曼猜想时,将黎曼ζ函数满足猜想条件的零点比例已知下界从41.6%提高至67.2%。该成果通过多智能体协作及Lean形式化验证,被视为解析数论领域的重大进展。尽管大幅提升了局部指标,但Anthropic明确表示该方法预计无法直接证明黎曼猜想本身。

知乎
JeffDean 称「AI agent 编写代码,品味成稀缺技能」,你如何理解「品味」?

JeffDean 称「AI agent 编写代码,品味成稀缺技能」,你如何理解「品味」?

Google首席科学家Jeff Dean在近期访谈中指出,AI Agent在处理复杂编程任务上的进展超出预期,能力已接近初级工程师。他认为,随着代码生成变得日益便捷,工程师能否识别系统中最值得改进的关键点将成为新的差距。同时,他建议创业者应聚焦于模型成功率极低(0%或1%)的领域以寻求突破,并强调高性能、低能耗的推理硬件是未来的重要方向。

知乎
67 岁农户听信 AI 喷农药致 150 亩地一夜枯萎,老人听 AI 翻车的事层出不穷,有啥办法能帮助他们辨别吗?

67 岁农户听信 AI 喷农药致 150 亩地一夜枯萎,老人听 AI 翻车的事层出不穷,有啥办法能帮助他们辨别吗?

安徽滁州一名67岁农户吴大伯因听信AI生成的除草除虫方案,使用无人机对150亩芝麻田喷药,导致作物一夜之间大面积枯萎并近乎绝收,损失约15万元。经鉴定,药害源于AI推荐的氟磺胺草醚,该药剂登记用于大豆田,严禁在芝麻田全田使用。涉事平台承认缺乏专业知识库,目前已登记损失但尚未给出明确赔付方案。

知乎
美国科学家首次用 AI 设计出病毒,意味着什么?生物安全防线该如何应对?

美国科学家首次用 AI 设计出病毒,意味着什么?生物安全防线该如何应对?

美国斯坦福大学与Arc Institute的研究人员首次利用生成式AI设计出完整的病毒基因组,并成功在实验室合成出16种能感染细菌且不对人类构成威胁的新型噬菌体。该研究结果发表于《科学》杂志,被视为合成生物学的重要突破,有望为治疗耐药性细菌感染提供新方法。但专家同时警告,该技术也带来了迫在眉睫的生物安全与安保挑战。

知乎
2026年“未录满”本科专业排行榜

2026年“未录满”本科专业排行榜

高等教育管理数据研究机构麦可思发布2026年10省份本科普通批首轮征集志愿统计,会计学以410次出现次数位居“未录满”专业首位,财务管理和英语紧随其后。数据显示,传统财经与外语类专业因开设成本低、供给过大及人工智能冲击而出现招不满现象。同时,人工智能等热门工科专业呈现分化趋势,民办高校征集计划较多,而“双一流”高校相关专业热度攀升。

抖音