清华校友用AI破解162个高数定理,智能体LeanAgent攻克困扰陶哲轩难题! 新智元报道 编辑:编辑部 HYZ 就在刚刚,清华校友用 AI 证明了 162 个未被人类证明的数学定理,解决了 AI 无法解决陶哲轩对多项式 Freiman-Ruzsa 猜想的形式化难题! 诺贝尔物理学奖和化学奖被 AI「包圆」后,人们再次确信:基础科学研究的范式,已经被 AI 从根本上改变。 果然 新闻分类:娱乐新闻 浏览:1069 阅读全文
蘑菇车联落地上海嘉定,打造车路云实时数字孪生城市 10 月 11 日,上海市嘉定与蘑菇车联签定战略合作协议,共推嘉定区车路云网络全域覆盖和商业化运营,助力嘉定及上海车路云一体化试点城市建设,打造全国标杆。 蘑菇车联创始人兼 CEO 朱磊表示,“车路云网络本质是‘通感算’网络,就是通过实体世界实时数字化,为车辆(自动驾驶车辆、非自动驾驶车辆)以及各种 新闻分类:行业新闻 浏览:2425 阅读全文
出海不是救命稻草,中国品牌出海先做好亏掉100万美金的准备 2024 年出海领域正在发生全面且深刻的转变,越来越多人意识到,出海只是锦上添花,不是雪中送炭,更不是救命稻草。这一轮出海潮比以往都要热闹,也更加理性,当然竞争也比以往要更加复杂。 在连接中国与世界的过程中,美国市场一直是众多出海企业的必争之地,中美脱钩的大环境后,有声音认为美国作为最大的消费品市场 新闻分类:科技新闻 浏览:1997 阅读全文
虚幻5加持,清华发布首个「真实开放环境具身智能平台」与基准测试集EmbodiedCity! 新智元报道 编辑:LRST 好困 基于虚幻引擎5,清华大学构建了一个真实、动态、开放的具身智能平台 EmbodiedCity,用于评估和研究具身智能在复杂城市场景中的应用;该平台提供在线接入和离线运行两种使用方式,支持多模态场景理解、问答、对话、导航和任务规划等一系列具身智能任务。 具身智能被视为当 新闻分类:娱乐新闻 浏览:2569 阅读全文
耗资数百万,六年磨一剑!上交开源首创图像合成神器libcom,下载量破万 新智元报道 编辑:alan 近日,来自谷歌 DeepMind 的研究人员提出了 Michelangelo,「用米开朗基罗的观点」来测量任意上下文长度的基础模型性能。 米开朗基罗,文艺复兴时期著名的雕塑家。 曾有人问他是如何创作出如此伟大的作品,他回答说: 「The sculpture is alre 新闻分类:科技新闻 浏览:4113 阅读全文
国产AI模型登顶全球TOP 1!智源BGE下载破亿成Hugging Face月榜冠军,RAG「瑞士军刀」破纪录 新智元报道 编辑:alan 近日,来自谷歌 DeepMind 的研究人员提出了 Michelangelo,「用米开朗基罗的观点」来测量任意上下文长度的基础模型性能。 米开朗基罗,文艺复兴时期著名的雕塑家。 曾有人问他是如何创作出如此伟大的作品,他回答说: 「The sculpture is alre 新闻分类:国际新闻 浏览:2110 阅读全文
李开复:零一万物没有放弃预训练模型,新模型也即将推出 IT 之家 10 月 12 日消息,据三言科技报道,李开复昨晚(10 月 11 日)发文称,针对网上有数篇自媒体说国内大模型公司有几家放弃预训练了,还有说零一万物是其中一家。 李开复回应称:“零一万物一直在做预训练,去年和今年发布的 Yi-34B,Yi-Large,Yi-Coder,Yi-VL,Yi 新闻分类:国内新闻 浏览:3766 阅读全文
Nature调查发现:AI正在改变科学家的研究方式 智东西 编译徐豫 编辑心缘 智东西 10 月 12 日消息,全球顶尖科学学术期刊《Nature》于 10 月 10 日发表了一篇科学家利用人工智能(AI)工具做科学研究的行业观察,发现 AI 工具正在改变传统的科研工作方式。目前,许多 AI 工具可以帮研究人员在大量文献中筛选出所需资料,从而使科学研 新闻分类:国内新闻 浏览:4845 阅读全文
飞猪双11商家报名通道全面开启 10 月 12 日消息,2024 年飞猪双 11 商家报名通道已全面开启,预计今年双 11 参与商家数和商品数将再创历史新高。 据飞猪方面透露,今年双 11 活动商品覆盖面更广,品牌“硬通货”回归,细分领域“新奇特”商品涌现,且出境游商品数占比有望翻倍。 据了解,飞猪双 11 分为两个阶段,10 月 新闻分类:行业新闻 浏览:1472 阅读全文
NASA与SpaceX计划最早于10月14日发射欧罗巴快船 IT 之家 10 月 12 日消息,NASA 于当地时间 10 月 11 发文,其与 SpaceX 现在的目标是最早于 10 月 14 日发射欧罗巴快船(Europa Clipper)。 ▲位于佛罗里达州肯尼迪航天中心的发射复合体 39A 的 SpaceX 机库 在飓风米尔顿过后,团队正在继续进行检 新闻分类:科技新闻 浏览:1777 阅读全文
科学家构建超网:“能解析任何社会现象、自然现象内在规律” 日前,北京雁栖湖应用数学研究院院长丘成桐教授、邬荣领研究员、吴杰研究员等在《美国国家科学院院刊》(PNAS)合作发表了题为《Hypernetwork modeling and topology of high-order interactions for complex systems》(复杂系统高 新闻分类:科技新闻 浏览:1307 阅读全文
印尼封禁Temu:“不希望TikTok Shop进入印尼的情况再上演” 文|扬帆出海汪酱 印尼电商只能是印尼人的电商? 去年 10 月,TikTok Shop 在印尼遭到封禁的禁令,印尼总统 Joko Widodo 下令禁止了 TikTok Shop 在印尼社媒平台上的直接交易行为。此后,为了摆脱禁令的影响,TikTok Shop"不得不"斥巨资收购了 Tokopedi 新闻分类:行业新闻 浏览:3142 阅读全文
马剑鹏:AI已绕不开,不能再不懂,宜从娃娃抓起 “我整个职业生涯一直在做这个东西,但心里很清楚,同行也这么认为——在我们有生之年,‘蛋白质的折叠’问题是不可能解决的,尤其是蛋白质结构预测问题。结果 AlphaFold 出来了!” 10 月 9 日,博士生导师、国际著名计算生物学家、复旦大学复杂体系多尺度研究院院长马剑鹏教授告诉澎湃科技。 当地时间 新闻分类:科技新闻 浏览:2097 阅读全文
《自然》:少吃可以长寿?遗传的作用是控制饮食的三倍 ·这项研究是有史以来在实验室动物中进行的最大的饮食限制研究,它挑战了饮食限制如何促进长寿的传统观念。饮食干预只能解释 7.4% 的寿命变化,而遗传背景解释了寿命差异的 23.6%。 过去有研究表明,在实验室动物身上,长期限制食物摄入和间歇性禁食可以延长寿命,但是具体的作用机制尚不清楚。一些人也已经把 新闻分类:娱乐新闻 浏览:4673 阅读全文
垂直起降复用飞行!独家专访星际荣耀:明年率先挑战火箭入轨+回收 2024 年,商业航天作为“新增长引擎”,首次被写入政府工作报告。据央视报道,2024 年,中国商业航天市场规模将突破 2.3 万亿元。中国的“问天之路”正在加速前进。 去年,北京星际荣耀空间科技股份有限公司(以下简称“星际荣耀”)完成了国内首次开展的液体火箭全尺寸一子级的垂直起降(VTVL)与重复 新闻分类:娱乐新闻 浏览:3750 阅读全文
新品不及预期!特斯拉股价下跌超8% 10 月 12 日消息,特斯拉首席执行官埃隆·马斯克(Elon Musk)在一场盛大活动上发布了备受期待的无人驾驶出租车。然而,活动内容模糊不清,马斯克并未透露具体细节。由于投资者纷纷质疑特斯拉如何实现这一雄心勃勃的目标,特斯拉股价在当地时间周五出现下跌。 周四晚些时候,马斯克展示了一款外观时尚的双 新闻分类:国内新闻 浏览:2453 阅读全文
AI手机与AIPC要安全,为什么离不开这款服务器CPU? 金磊梦晨发自凹非寺 量子位公众号 QbitAI 随着生成式 AI 的火速发展,AI 应用开始与各种信息设备“嫁接”,AI 手机、AI PC,甚至 AI 汽车都变得越发司空见惯。 一方面,人们正在生活中享受着 AI,尤其是大模型带来的便捷,可以随时随地向终端设备提出问题来答疑解惑,内容可能是日常生活中 新闻分类:国际新闻 浏览:4991 阅读全文
00后国人论文登Nature,大模型对人类可靠性降低 00 后国人一作登上 Nature,这篇大模型论文引起热议。 简单来说,论文发现:更大且更遵循指令的大模型也变得更不可靠了,某些情况下 GPT-4 在回答可靠性上还不如 GPT-3。 与早期模型相比,有更多算力和人类反馈加持的最新模型,在回答可靠性上实际愈加恶化了。 结论一出,立即引来 20 多万网 新闻分类:行业新闻 浏览:4813 阅读全文
Bengio精简了传统RNN,性能可与Transformer媲美 金磊发自凹非寺 量子位公众号 QbitAI 深度学习三巨头之一的Yoshua Bengio,刚刚发布了一篇有趣的新论文——RNN 就是所需的全部吗? Were RNNs All We Needed? 不仅论文的名字有意思,其结论更是精彩。 研究表明,精简十几年前的 RNN 们,性能上可以与最近序列模 新闻分类:科技新闻 浏览:1973 阅读全文
哈佛混不下去的学者,32年后拿下诺奖:发现miRNA 明敏克雷西发自凹非寺 量子位公众号 QbitAI 刚刚,2024 年诺贝尔生理学或医学奖出炉—— 来自美国的维克托·安布罗斯(Victor Ambros)、加里·鲁夫昆(Gary Ruvkun)获此殊荣。 他们发现了 microRNA 的存在,并揭示其在基因调控中的重要作用。 要知道,深入研究 mi 新闻分类:国际新闻 浏览:4073 阅读全文