要点速览
- 谷歌DeepMind推出AlphaProof Nexus,用Gemini驱动的智能体解决了包括9个开放埃尔德什问题在内的多项数学难题
- 梵蒂冈发布首个人工智能相关通谕《Magnifica Humanitas》,强调AI需服务人类尊严,同时Anthropic联合创始人受邀参与讨论
- 行业观点认为AI时代味觉是最后人类优势,垂直领域Agent应用仍有大量创新空间
- 华为提出Tau缩放定律,通过LogicFolding架构实现更高密度芯片,预计2031年达到1.4nm工艺等效密度
- 多家机构指出当前AI存在过度宣传问题,企业需谨慎看待AI替代全部门的能力
一、核心技术与研究进展
- 谷歌DeepMind发布AlphaProof Nexus智能体框架,基于Gemini实现形式化数学证明搜索。该智能体自主解决了9个开放埃尔德什问题(其中两个已公开56年)、44个OEIS问题、1个15年未解决的代数几何问题以及1个7年未解决的极小极大优化问题。研究显示即使简单的智能体循环也具备巨大潜力,相关论文已公开。— via @GoogleDeepMind @iliaishacked @simonbatzner
- 西北大学工程师研发出可与活体细胞直接通信的人工神经元,其发出的电信号与生物神经元无法区分,且柔性设计不会引发人体免疫反应。该技术可用于修复受损神经回路,未来或具备向大脑插入信息的潜力,相关研究于2026年4月发表。— via @GregMozart
- 华为推出LogicFolding架构,通过重新设计信号路径实现更高芯片密度,搭载该技术的麒麟芯片将于今年秋季发布,预计到2031年可实现等效1.4nm工艺的密度,同时华为正推动该技术成为行业共识。— via @rezkhere
- 数学形式化工具推动跨学科协作,通过统一的形式化语言可实现物理学、计算机科学、经济学等领域的知识共享,Lean、Coq等形式化语言正在成为数学和物理研究的基础设施。— via @huihoo
二、行业趋势与商业动态
- Agent应用成为创业热点,多家初创公司聚焦垂直领域Agent工具、API套利、环境生成等方向,部分团队已实现初步商业化落地。同时有观点认为通用Agent harness已接近饱和,垂直领域的AI原生工作流、人机交互UI设计等细分场景存在大量机会。— via @dotey @PaulinaStern_ @ArvidGollwitzer
- AI工具的定价与成本成为行业关注焦点,DeepSeek将前沿模型永久定价为美国实验室的1/30,其低成本可能源于华为芯片、模型优化或更低利润率;Qwen3.7-max则通过大客户折扣机制实现灵活定价,普通开发者并非其目标客群。— via @DamiDina @fuguizhuo
- 企业AI应用面临新挑战,KKR PE数据显示AI实验可使投资组合企业的EBITDA提升5%,但需具备深度产品和领域经验的团队才能量化并捕获收益;同时部分企业出现AI生成文档过多导致管理过载的问题。— via @mbeckett @eltintero
- AI硬件与交互设备的竞争格局初现,智能手机厂商凭借传感器和系统权限优势,AI眼镜或将采用手机端算力卸载的分布式架构;基础模型厂商则在上下文和Agent层面具备优势,谷歌凭借Android和Gemini的双重布局成为行业 anomaly。— via @shengkun_ye
三、伦理与社会讨论
- 梵蒂冈发布首个人工智能相关通谕《Magnifica Humanitas》,将AI时代的选择类比为巴别塔与耶路撒冷的抉择,强调AI需服务人类尊严,反对将人类简化为数据和性能指标,同时呼吁建立基于共同责任的治理框架。Anthropic联合创始人Chris Olah受邀参与相关活动,分享了AI模型中自发涌现的情绪概念等研究发现。— via @iAmHenryMascot @saik0s @vsiv
- 行业存在AI过度宣传现象,IBM、微软、Anthropic等企业的高管曾做出AI将替代大量专业任务的激进预测,但实际应用中AI仍无法独立完成招聘、薪酬管理等复杂HR工作,过度宣传引发了公众对AI的担忧和抵触情绪。— via @EB_XdotO
- AI时代的人类优势与职业变化,有观点认为味觉是AI无法复制的人类优势,将成为未来的核心竞争力;同时60岁掌握AI工具的从业者可能比拒绝使用AI的25岁从业者表现更出色,愿意学习和应用AI是关键变量。— via @RyanHanley_Com @joemechlinski
- AI应用的社会许可问题,当前部分消费者和企业对AI存在抵触情绪,销售AI服务需避免直接提及技术本身,转而聚焦具体业务成果,同时需公开招聘和保留人类员工的信息以获得信任。— via @connordavis_ai
四、实用工具与开发经验
- Codex等代码智能体的使用技巧,包括任务提示需包含目标、上下文、限制和完成标准;复杂任务建议先使用计划模式探索仓库并制定方案;可通过提示引导智能体排查上游软件bug。— via @harryworld @willmcgugan
- AI辅助的工作流实践,部分从业者使用Claude Code、Codex、NotebookLM等工具构建认知飞轮,实现从信息输入、内化、输出到验证的完整闭环,大幅提升内容创作和知识整理效率。— via @indigox
