Language:中文 En
新闻中心

AI独立解决三十年数学问题的变体,陶哲轩分享自动化研究经验

DATE: 2026-01-03 22:12

【新闻摘要】:机器之心报道机器之心编辑部刚刚,Erdos 问题 #124 的一个弱化版本被证明。这个问题自 1984 年在《算术杂志》上发表的论文 「整数幂集的完备序列」 中提出以来,近 30 年一直悬而未决证明该 …


小学生作文《爷爷》走红,一共只有26个字,却让老师感动到流泪

DATE: 2026-01-03 22:09

【新闻摘要】:小学生写的作文,往往语言平实,表达也比较简单,有时候还会出现基本的语言错误,这和语文基础薄弱有很大的关系。虽然小学生掌握的词语和语法不多,但小学生的思维一般比较活泼,虽然有的时候写出来的作文不着边际, …


古特雷斯强烈谴责联合国工作人员在拉法遇袭

DATE: 2026-01-03 22:06

【新闻摘要】:△联合国秘书长古特雷斯资料图)  当地时间5月13日,联合国秘书长古特雷斯通过发言人办公室发表声明称,联合国安全和安保部工作人员当天上午前往拉法一家医院时,其车辆遇袭,造成1人死亡、1人受伤。古特雷斯 …


中小企业持续发展 激发经济回升向好新动能

DATE: 2026-01-03 21:42

【新闻摘要】:今年以来,我国中小企业呈现快速回暖趋势,企业生产持续恢复,开工率不断上升。中小企业联系千家万户,是推动创新、促进就业、改善民生的重要力量。近日,中小企业协会发布数据显示,4月中小企业发展指数为89.4 …


豆包发布手机助手技术预览版 正与多家手机厂商洽谈合

DATE: 2026-01-03 21:42

【新闻摘要】:12月1日,字节跳动豆包团队发布豆包手机助手技术预览版。据了解,该产品是在豆包APP基础上,与手机厂商在操作系统层面合作的AI助手软件。据介绍,豆包手机助手基于豆包大模型能力,通过与手机厂商合作授权, …


古特雷斯强烈谴责联合国工作人员在拉法遇袭

DATE: 2026-01-03 21:32

【新闻摘要】:△联合国秘书长古特雷斯资料图)  当地时间5月13日,联合国秘书长古特雷斯通过发言人办公室发表声明称,联合国安全和安保部工作人员当天上午前往拉法一家医院时,其车辆遇袭,造成1人死亡、1人受伤。古特雷斯 …


裁员和诉讼阴影,再次笼罩理想汽车

DATE: 2026-01-03 21:03

【新闻摘要】:当特斯拉上海工厂裁员的消息还没散去,另一家新能源领头羊企业同样卷入了新一轮裁员传闻,并且还面临海外投资人诉讼的“夹击”。理想汽车,继4月裁员传闻之后,多条消息渠道又指出其将大裁员,甚至有说法称研发部门 …


谷歌回击OpenAI:发布AI全家桶,搜索大变身,Project Astra剑指GPT

DATE: 2026-01-03 20:47

【新闻摘要】:出品|网易科技《态度》栏目作者|丁广胜想要盖过谷歌风头,OpenAI的GPT-4o有没有如愿,我们找找答案。谷歌和Alphabet首席执行官桑达尔·皮查伊公布,有超过150万开发人员在使用 Gemin …


美国内华达州发生5.9级地震

DATE: 2026-01-03 20:38

【新闻摘要】:  当地时间12月4日,据美国地质调查局消息,美国内华达州代顿地区发生5.9级地震。央视记者 吴汉婴) …


换帅!上海家化业绩越来越差,潘秋生辞职,前阿里高管接手

DATE: 2026-01-03 20:21

【新闻摘要】:出品|达摩财经5月14日,上海家化600315.SH)发布公告称,公司董事长潘秋生因个人原因申请辞去董事长、CEO、总经理等职务。同时,董事会决定聘任林小海为公司CEO兼总经理,并提名林小海为第八届董 …