「AI精神病学」共找到 9835 篇相关文章
菲尔兹奖成果首次被AI完整形式化，Gauss20万行代码改写数学史？
Math, Inc. 公司用 Gauss 智能体完成 8 维和 24 维空间最优球体堆积定理形式化证明，代码约 20 万行。该定理最初由 Maryna Viazovska 及其合作者证明，这是本世纪首个被完全形式化证明的菲尔兹奖成果。
陈天桥重磅出手！20瓦人脑秘籍，AI大模型瞬间「破防」
上周六，天桥脑科学研究院创始人雒芊芊宣布成立尖峰智能实验室，由李国齐教授领衔，致力于类脑大模型和脉冲神经网络研发。该实验室是‘发现式智能’理念落地载体，将借鉴人脑特性研发类脑大模型。
谷歌Gemini闹乌龙：我家狗子，竟被AI开除了「狗籍」！
2025年10月谷歌让Gemini for Home接管智能家居生态。它能识别人脸、快递等，还会生成家庭日报。不过，它也闹了把狗认成猫的乌龙。谷歌正改进识别准确度，这也是智能家居竞争中的小插曲。
AI终于“长”进机器人身体里！机械臂学会用触觉思考
香港科技大学申亚京教授团队研发出具身机器人手臂 EmArm，实现亚毫米级触觉定位与实时‘感知 - 行动’闭环。研究还提出‘感知 - 驱动’一体化算法，为打造物理 AI 机器人提供可扩展技术路径。
全球最强AI音乐模型，现在来自中国！高晓松也来围观了
昆仑天工发布音乐模型Mureka V8，实测打败硅谷Suno V5成世界第一。它能生成完整可发布歌曲，结合MusiCoT技术实现从“能生成”到“能发布”跨越。高晓松等认可其变革潜力，昆仑天工联合太合音乐打通产业链。
实测可灵O1，AI视频界的Banana也来了。
可灵推出全新多模态视频大模型可灵O1，融合多种视频生成与修改能力。实测显示，它能实现视频内容增删、特定内容修改、扣绿幕、动作迁移、风格更改等功能，虽有局限，但开启用嘴改视频新时代。
英伟达发射了首个太空AI服务器，H100已上天
11月2日，英伟达首次将H100 GPU送入太空，搭载于Starcloud-1卫星测试AI处理应用。太空数据中心能源成本低、不占土地、少排温室气体，Starcloud计划未来大规模部署，还筹划后续任务。
均值至上假繁荣！北大新作专挑难题，逼出AI模型真本事
当强化学习成大模型后训练核心工具，主流方法陷入「均值优化陷阱」，推理能力停滞。北大团队提出RiskPO，将风险规避理念融入优化目标，用MVaR+捆绑策略双管齐下，三大任务表现优异。
24小时快速入门大热语言Rust！学不会来找我
文章从Rust核心语法等基础入手，介绍其不同于其它语言的思维方式，还通过实战项目带读者入门。阐述了安装、工具使用，用greplite小程序介绍语言特点，讲解组织数据方式、所有权等，最后实现mini - redis并给出学习建议。
「AI助手」真来了？谷歌牵头推进Agent支付协议AP2
近日谷歌宣布推出 Agent 支付协议 AP2，这是开放共享协议，为 Agent 和商家交易提供通用语言，解决授权、真实性、问责问题，还支持多种支付类型，已和 60 多个企业合作且在 GitHub 公开项目。