标签:研究成果

New谷歌 DeepMind 用 AI 完成 Signal 协议形式化验证,数学证明其端到端加密可靠性

11 月 10 日消息,长期以来,Signal 加密协议一直被视为端到端加密消息传递的黄金标准。如今,谷歌 DeepMind 团队利用人工智能,对这一协议的安全性进行了正...

New1500万美元!OpenAI联手Anthropic,请数学家给AI「验卷」

10月6日,OpenAI一口气公开了722篇由内部AI模型生成的数学手稿。 仅过一天,其中3篇就被宣布撤回。 让三篇手稿一起翻车的,居然只是一处正负号错误:一篇出...

New谷歌 AI 新研究:无需袖带利用消费级智能手表检测高血压,成果登 Nature

谷歌发布博文,介绍在《自然》(Nature)发表的最新研究成果。 谷歌推出了名为 AI-PPG-ACC-HTN 的多模态 AI 系统。该系统无需袖带校准,使用普通消费级智能手...

New芝加哥大学教授:AI 时代数学人才招聘将更看重研究愿景与表达能力

人工智能正在降低数学研究取得突破的门槛,但这也意味着,学术界可能需要重新审视人才招聘方式。芝加哥大学一位知名数学教授认为,未来招聘数学研究人员时,...

OpenAI 总裁布罗克曼:AI 或将能让死亡成为一种选择

11 月 5 日消息,自人类拥有自我意识以来,死亡始终是困扰人类思想的一大难题,犹如一个至今仍无法找到有效解法的复杂谜题。不过,人工智能(AI)或许能在不...

奥特曼预告下一代GPT!1万个Agent攻下千禧难题

下一代 GPT 的一个重要线索,Sam Altman 透露了。 当地时间 11 月 2 日,在阿布扎比举行的 ADIPEC 2026 能源大会上,Altman 谈到 OpenAI 此前公布的纳维–斯...

央视严选「中国AI创业十骏」:唯一AI制药公司是清华系

AI江湖的名头换了一茬又一茬:AI四小龙、大模型六小虎…… 这一次,行业的下一批明星公司,轮到央视亲自大点兵。 1200家参赛企业层层突围,中国AI创业十骏新...

告别知识截止日:谷歌让 AI 学会“睡觉”,边用边学还不忘旧知识

10 月 30 日消息,谷歌研究团队于 10 月 27 日发布博文,介绍一项名为“睡眠框架”(Sleep Framework)的持续学习研究成果,试图解决大语言模型发布后知识固化...

实测 TRAE 宝|开发者的个人助理长什么样?

一个人、一台电脑,与一只 TRAE 宝。 最近,个人 AI 助理越来越火了。 从帮用户处理日程、邮件,到管理文件、自动执行任务,越来越多的 AI 产品开始尝试...

清华27岁助理教授陈勇超发布首个35B模型Apex-35B-V1.0

AI 的下一次突破将从何而来?业界大佬们一两年前就已给出判断。 Sam Altman 在《The Gentle Singularity》[1] 中谈到,AI 将帮助人类构建更强大的 AI 系统,...
123…414