清华校友用AI破解162个高数定理,智能体LeanAgent攻克困扰陶哲轩难题!

清华校友用AI破解162个高数定理,智能体LeanAgent攻克困扰陶哲轩难题!

新智元报道 编辑:编辑部 HYZ 就在刚刚,清华校友用 AI 证明了 162 个未被人类证明的数学定理,解决了 AI 无法解决陶哲轩对多项式 Freiman-Ruzsa 猜想的形式化难题! 诺贝尔物理学奖和化学奖被 AI「包圆」后,人们再次确信:基础科学研究的范式,已经被 AI 从根本上改变。 果然
阅读全文
虚幻5加持,清华发布首个「真实开放环境具身智能平台」与基准测试集EmbodiedCity!

虚幻5加持,清华发布首个「真实开放环境具身智能平台」与基准测试集EmbodiedCity!

新智元报道 编辑:LRST 好困 基于虚幻引擎5,清华大学构建了一个真实、动态、开放的具身智能平台 EmbodiedCity,用于评估和研究具身智能在复杂城市场景中的应用;该平台提供在线接入和离线运行两种使用方式,支持多模态场景理解、问答、对话、导航和任务规划等一系列具身智能任务。 具身智能被视为当
阅读全文
《自然》:少吃可以长寿?遗传的作用是控制饮食的三倍

《自然》:少吃可以长寿?遗传的作用是控制饮食的三倍

·这项研究是有史以来在实验室动物中进行的最大的饮食限制研究,它挑战了饮食限制如何促进长寿的传统观念。饮食干预只能解释 7.4% 的寿命变化,而遗传背景解释了寿命差异的 23.6%。 过去有研究表明,在实验室动物身上,长期限制食物摄入和间歇性禁食可以延长寿命,但是具体的作用机制尚不清楚。一些人也已经把
阅读全文
垂直起降复用飞行!独家专访星际荣耀:明年率先挑战火箭入轨+回收

垂直起降复用飞行!独家专访星际荣耀:明年率先挑战火箭入轨+回收

2024 年,商业航天作为“新增长引擎”,首次被写入政府工作报告。据央视报道,2024 年,中国商业航天市场规模将突破 2.3 万亿元。中国的“问天之路”正在加速前进。 去年,北京星际荣耀空间科技股份有限公司(以下简称“星际荣耀”)完成了国内首次开展的液体火箭全尺寸一子级的垂直起降(VTVL)与重复
阅读全文
清华系“仓颉”来了!大模型造字7天交付超40套,客户成本大降80%

清华系“仓颉”来了!大模型造字7天交付超40套,客户成本大降80%

白小交发自凹非寺 量子位公众号 QbitAI 大模型如何落地?怎么落地?成为今年科技领域的头号主题。 在一个不为大多数人所知道的造字赛道中,这家清华创业公司——「图形起源」悄然实现商业变现: 帮助字体公司降低 80% 成本,提速 10 倍以上。Canva 可画上最受欢迎的前 100 套中文字体,大部
阅读全文
海康威视进行大规模人员缩编

海康威视进行大规模人员缩编

据新浪科技报道,有海康威视员工透露,公司近期正在进行大规模组织调整,32 个研发区域收缩到 12 个,「保留几个核心区域,其余全部优化掉,预计会涉及 1000 多人。」 新浪科技表示,他们就此次调整向海康威视方面求证,但并未收到回应。 不过,有海康威视被裁员工向新浪科技确认此次调整属实,同时表示「这
阅读全文
调查发现父母更信任 ChatGPT 生成的健康指导

调查发现父母更信任 ChatGPT 生成的健康指导

发表在《儿科心理学杂志》上的一项研究显示,在不知道作者的情况下,为孩子寻找医疗保健信息的父母更信任 AI,而不是医疗保健专业人员,父母也认为 AI 生成的文本可信、道德和值得信赖。研究人员称,在许多情况下,家长无法区分 ChatGPT 生成的内容和专家生成的内容。当评级存在显著差异时,ChatGPT
阅读全文
研究称盗版会导致游戏收益损失 19%

研究称盗版会导致游戏收益损失 19%

发表在《Entertainment Computing》上的一项研究根据 Steam 用户评论和玩家数量估计游戏收入,发现一旦游戏使用的 DRM 被破解,会给发行商带来 19% 的平均收入损失。北卡罗来纳大学的 William Volckmann 分析了 2014 - 2022 年间 Steam 上
阅读全文
被马斯克称作“魔鬼”,OpenAI终于露出了它的“獠牙”

被马斯克称作“魔鬼”,OpenAI终于露出了它的“獠牙”

文大模型之家 在国内都在享受国庆假期的同时,作为人工智能领域关注的核心企业——OpenAI 搞了不少事情。 当地时间 10 月 3 日,OpenAI 推出了全新的协作平台 Canvas,旨在与 ChatGPT 共同开展写作和编码项目。Canvas 基于 GPT-4o 框架,提供独立的协作空间,支持多
阅读全文
越来越受不了的骚扰电话,都是谁在打?

越来越受不了的骚扰电话,都是谁在打?

文新识研究所 “喂,您有一笔 28 万的银行授信就要到期了,我这边可以替您办理申领哦!” 这是胡维这周接到的第三个骚扰电话,他和咸宁日报《新识研究所》聊起自己的遭遇,没想到办公室里的人都说有接到过这样的电话,从 18 万到 50 万元都有。 一家国有银行武汉分行工作人员对我们表示:“我自己也会收到这
阅读全文
微软开源新型数据处理系统 Drasi

微软开源新型数据处理系统 Drasi

微软已经宣布开源一种名为 Drasi 的新型数据处理系统,可以检测并应对复杂系统的变化,简化在复杂基础设施中检测关键事件并根据业务目标立即采取行动的过程。 “开发人员和软件架构师可以在事件驱动场景中利用其功能,无论是处理物联网 (IoT) 集成、增强安全协议还是管理复杂的应用程序”。目前,该项目已作
阅读全文
原阿里达摩院首席科学家司罗正式加入汽车科技独角兽斑马智行

原阿里达摩院首席科学家司罗正式加入汽车科技独角兽斑马智行

界面新闻记者 李如嘉 10 月 11 日,界面新闻独家获悉,近日,原全球最大 SaaS 公司 Salesforce 执行副总裁、原阿里巴巴集团副总裁、达摩院语言实验室首席科学家、普渡大学终身教授司罗,正式加入阿里巴巴旗下汽车科技独角兽企业斑马智行,出任首席技术官(CTO)。 据斑马智行内部消息,司罗
阅读全文
微软可能会在未来三年内收购 OpenAI

微软可能会在未来三年内收购 OpenAI

根据《福布斯》的报道,微软可能会在未来三年内收购 ChatGPT 开发商 OpenAI。 CCS Insight 首席分析师 Ben Wood 在接受《福布斯》采访时表示:我们认为,人工智能领域将会出现一些调整,因为炒作热度开始消退。 分析师的预测表明,围绕人工智能的炒作正在迅速消退。因此,像 Op
阅读全文
黑洞到底能有多大

黑洞到底能有多大

天文学家们正在发现一种新型的巨型黑洞,其体积甚至超过了位于星系中心的超大质量黑洞。在太空的黑暗中,会不会还有更可怕的怪物潜伏着? 在我们银河系的中心,住着一个庞大的黑洞。它和我们的太阳一样宽,但质量却大了数百万倍。它巨大的引力搅动了周围的星际尘埃和气体。这个超大质量黑洞是银河系的跳动心脏,在银河系
阅读全文
我戴了一周的「大模型耳机」,发现了 AI 硬件的新答案

我戴了一周的「大模型耳机」,发现了 AI 硬件的新答案

在智能手机之后,下一代的硬件范式应该长什么样,答案仍是众说纷纭,但有一个共识已经越来越清晰—— 下一代硬件,应该是 AI 硬件。 全球热销 200 万台的 Meta Ray-Ban 智能眼镜和已经不足 5000 人使用的 Rabbit R1 从正反两面证明了一件事:相比于掏出一个独立设备,无时不刻的
阅读全文
医生可能在错误地测量你的血压

医生可能在错误地测量你的血压

一项新研究发现,5400 万美国成年人可能因为错误的读数而被误诊为高血压。 很多人可能惊讶地发现,正确测量血压的程序与医生办公室里的程序不同。 根据美国心脏协会和其他医学专家的说法,获得准确的读数需要遵循一套严格的准备:在测量前 30 分钟内,您不得进食、饮水、运动或吸烟。您必须膀胱空虚。您必须坐在
阅读全文
Parallels for ChromeOS 项目被曝今年关闭

Parallels for ChromeOS 项目被曝今年关闭

10 月 10 日消息,国际顶级学术期刊《Cell》发表了中山大学与阿里云合作的科研成果,研究团队利用云计算与 AI 技术发现了 180 个超群、16 万余种全新 RNA 病毒,是已知病毒种类的近 30 倍,大幅提升了业界对 RNA 病毒多样性和病毒演化历史的认知。 《Cell》是国际公认学术声誉最
阅读全文
消息称大众汽车在华主要针对进口车业务进行裁员,最高赔N+6

消息称大众汽车在华主要针对进口车业务进行裁员,最高赔N+6

IT 之家 10 月 10 日消息,据“21 汽车・一见 Auto”今日报道,多个独立信源消息称,大众中国不久前的裁员到目前仍在进行时,主要涉及进口车业务,规模近百人。 IT 之家注:大众汽车进口车业务主要负责在华售卖大众进口车型,如途锐、蔚揽旅行车、夏朗(MPV)、甲壳虫、Golf(如 Golf
阅读全文