热搜话题榜单

让AI理解费马大定理的证明，两个月过去了，进展如何？

1637年，费马在阅读丢番图《算术》拉丁文译本时，曾在第11卷第8命题旁写道:「将一个立方数分成两个立方数之和，或一个四次幂分成两个四次幂之和，或者一般地将一个高于二次的幂分成两个同次幂之和，这是不可能的。我确信我发现一种美妙的证法，可惜这里的空白处太小，写不下。所以我们实际上又回到了正轨。

OpenAI科学家：现有模型+后训练足以产生黎曼猜想的新证明

一个全新的模型能力衡量指标诞生了?!OpenAI科学家塞巴斯蒂安・布贝克表示:看到AGI时间这个新概念，网友们也是立即就展开了热烈的讨论。如果模型可以达到人类需要数周或数月才能完成的任务，也就代表它可以将长期推理和计划结合起来，也就和真正的AGI差不多了:不过也有人表示这个说法有点模糊，人脑也很难机械地把任务完成时间限定为几个月、几年:反方辩手汤姆·麦考�

很快OpenAI能证明陶哲轩错了？陶哲轩一句话，被OpenAI高管怼回去

OpenAI连更两弹，又将o1模型推向全网最高潮。就连奥特曼本人激动地预告，「迫不及待期待着下周的Day3发布，感觉周一是那么地遥远」。他加入OpenAI之前，曾是ConvergentResearch的创始人、风险投资人和合伙人;在那里，他帮助创办了多个「登月」科学组织，包括LeanFro。

陶哲轩宣布“等式理论计划”成功，人类AI协作，57天完成2200万+数学关系证明

57天，人类和AI合作搞定了4694个等式之间22028942个蕴含关系!大神陶哲轩激动宣布:等式理论计划，成功。“等式理论计划”，由陶哲轩本人在2024年9月25日发起，目的是探索按蕴含关系排序的原群等式理论空间。△ShreyasSrinivas主页PietroMonticone还和他特伦托大学的同事们一起搞过指数3的费马大定理的Lean版证明。

Grok 3证明黎曼猜想，训练遭灾难性事件？数学家称不夸张，两年内AI将解出千禧年难题

大家都被这条消息吓到了:传说Grok3已经成功证明出黎曼猜想?!虽然这是在玩梗，但还是让我们来仔细剖析下，目前的AI距离千禧年数学难题，究竟还有多远。竟被Grok3「证明」了?为此，xAI暂停了Grok3的训练来验证它的证明，如果结果是正确的，将会完全终止模型的训练。这个规模已经扩展到了20万台，再给一点时间，说不定Grok3真能出奇迹。

ChatGPT搜索搞不定勾股定理新证明，但国产AI可以！

万万没想到，现在的国产AI搜索，竟然让我成功读懂了陶哲轩推荐的论文。每个用户都有机会成为宝典的主理人，内容方向几乎是覆盖了所有的行业和领域。

公安部：电子行驶证明日起推广应用

快科技11月3日消息，自去年12月10日起，国内已全面实施电子驾驶证应用推广，而今，电子行驶证即将上线。今年7月1日，公安部推出实施公安交管8项便民利企改革新措施，其中在北京、天津、苏州等60个城市试点推行机动车行驶证电子化，目前已累计为5000多万名车主核发电子行驶证，取得良好效果。近日，为进一步扩大改革惠及面，公安部部署自11月4日至12月2日在全国分三批全面推广应用机动车行驶证电子化，车主可以对照本地启用时间安排，通过全国统一的交管12123”APP申领电子行驶证。相较于纸质行驶证，电子行驶证有三大便利：一是便利申领应

苹果新论文证明LLM大模型存在缺陷！没有进行真正的逻辑推理

近日，苹果公司的AI研究团队发表了一篇题为UnderstandingtheLimitationsofLargeLanguageModelsinMathematicalReasoning”的论文，揭示了大型语言模型在数学推理方面的显著局限性。尽管这些模型在生成人类水平的文本方面表现出色，但当处理简单的数学问题时，即使问题仅进行了微小的改动，如添加无关信息，模型的表现也会急剧下降。虽然LLM在许多领域表现优异，但其推理能力仍有待改进。

谷歌发布新RL方法，性能提升巨大，o1模型已证明

谷歌DeepMind的研究人员提出了一种创新多轮强化学习方法——SCoRe。多数大模型不具备自我纠错或能力较差，尤其是在数学和代码领域在给出错误答案后，会一直坚持错误答案，影响模型的准确率。其自我纠正能力分别提升了15.6%和9.1%。

40年图灵机难题被业余玩家攻破，陶哲轩：软件辅助证明改变数学研究规则

40多年的计算机难题——忙碌海狸难题，被一群业余爱好者攻破了!数学大佬陶哲轩转发了这一消息，并欣慰表示:计算机科学家ScottAaronson为此还写了一篇博文，并大肆赞赏:具体言，人们历经数十年努力，终于找到了第五个“忙碌海狸”图灵机:图灵机是一种抽象的计算模型，通过读取和写入0和1在无限磁带上进行计算。早在40多年前，一群计算机科学家在德国多特蒙德举行竞赛，寻找“忙碌海狸”图灵机。以至于著名理论计算机科学家ScottAaronson发出感慨:嗯?这话有点耳熟，BB好像也是这样说的。

儿子做题看爸爸脸色判断对错：马上期末 无奈用口罩蒙面

1月5日，山东发生了一件有趣的事情，一位父亲在辅导儿子写作业时，儿子通过观察父亲的表情来判断自己做的题目是否正确，这让父亲感到无奈，最终他用口罩蒙面以避免儿子继续这样做。事情的起因是儿子在做作业时，每完成一个题目就会观察父亲的表情。父亲提醒儿子不要总是看他的脸色，但儿子仍然坚持这样做。

女生确诊渐冻症一年容貌巨变：吞咽都要尽全力

1月10日消息，据媒体报道，湖南一名98年女生确诊渐冻症，短短一年容貌巨变，吞咽都要尽全力。在短视频平台上，这名女生分享了多条患渐冻症后的日常生活，称我突然成了渐冻人，对妈妈很不公平，对我和整个家庭都是挑战，被迫和时间赛跑，努力生活报答家人和朋友”。据了解，渐冻症在医学上被称为肌萎缩侧索硬化症（ALS），罹患渐冻症的患者四肢肌肉进行性萎缩无力，最后无法活动，仿佛被冰冻住一样，因此患者也被称为渐冻人”。一位作家这样描述渐冻症的发病过程：它如一支点燃的蜡烛，不断融化你的神经，使你的躯体变成一堆蜡，通常燃烧”

李想：理想汽车捐赠500万元全力支援西藏日喀则地震灾区

快科技1月8日消息，自1月7日9时5分西藏日喀则发生6.8级地震后，震区受灾情况牵动着社会各界的心。近日，理想汽车CEO李想也在微博上宣布，理想汽车捐赠500万元，驰援西藏日喀则地震灾区。他发文称携手抗灾，愿西藏平安！ ”此次，理想汽车慷慨捐赠全力支援西藏日喀则地震灾区，展现了其有理想且有社会责任感的企业宗旨和精神。

小鹏携手大众宣布将合力打造中国最大的超快充网络

2025年1月6日，中国广州，小鹏汽车股份有限公司与大众汽车集团宣布签署谅解备忘录，达成战略合作，共同打造中国最大的超快充网络。双方将相互开放各自专有的超快充网络，为客户提供一个拥有超过20000个充电终端、覆盖中国420个城市的超快充网络。此次合作是小鹏汽车与大众汽车集团长期战略合作的第四项重要成果，双方计划进一步探索战略合作机会，扩大技术合作，强化互利共赢的战略伙伴关系。

杭州一学校听劝给松鼠搭了座桥 校方：保护和鼓励孩子们的创造力

在杭州九莲小学，一个富有创意的想法被成功转化为现实，为校内外两棵松树间的松鼠搭建了一座“桥梁”。这个构想源自孩子们的天马行空的想象，学校决定将这一想法付诸实践，以此保护和鼓励孩子们的创造力。这座松鼠“桥梁”将成为学校文化的一部分，激励着孩子们在未来的学习和生活中，继续发挥他们的想象力和创造力。

OpenAI大地震一分为二，全力冲刺AGI！一半向钱看，一半装理想

OpenAI确认裂变!从此，公司一分为二，一部分是营利机构，另一部分则是非营利。经过几个月的传闻后，OpenAI的改组终于尘埃落定——OpenAI的营利性部门将转变为特拉华州公共利益公司，使其能够同时追求利润和社会影响。我们将与时俱进，推动使命迈向新的台阶，致力于建设AGI经济，确保其为全人类创造价值。

网友建议荣耀影像联名富士 赵明：没加持表现力也非常好 勇敢做自己

荣耀Magic7RSR保时捷设计正式发布，带来了全新的荣耀大王影像。荣耀将带来以人为中心的AI摄影体验，聚焦抓拍、人像和长焦三大核心场景，通过先进的AI技术重构光学、算法、色彩质感等影像实力。可以加强30~100倍超远摄能力，让手机摄影真正进入云侧”全新赛道，远眺风光美景，近赏细节纹理。

极越CEO夏一平：公司目前正遇到困难 将全力以赴与全体员工共渡难关

极越CEO夏一平通过视频会议的方式与全体员工沟通，坦诚表明公司目前正遇到困难，公司需要立即调整，进入创业的2.0阶段，管理层将全力以赴，与全体员工共渡难关。全员沟通内容如下:2024年已经过去了11个月，回望今年走过的路，我们克服了重重不利因素，在竞争异常激烈的产业环境中站稳了脚跟，销量从年初的每月几百台到目前的每月3000多台，大家用行动和结果证明我们是一支优秀的团队，我向每一位一起奋斗拼搏的同事表示由衷的感谢!今时今日，全球汽车产业正经历前所未有的变革，在新能源、智能化强势推动下东风西渐，作为中国自主汽车新力量的一员，我们越来越感受到整个汽车产业在掀起新一轮的提效风暴，无论是新生的创业公司是老牌的第一梯队玩家，大家都在聚焦核心目标，优化组织架构甚至调整供应链生态方面进行布局，重新进行资源的整合。2023年12月26日，极越宣布旗下定位C级纯电AI智驾轿车的第二款量产车正式定名极越07”，于2024年9月上市。

专家评车企要求供应商降价：极限压价提升不了竞争力

近日，有国内车企要求供应商降价的邮件被泄露到网络上，引发众多关注。《经济日报》在报道中指出，车企极限压价提升不了竞争力。如果车企竞争过度，没有节制地靠压价卷供应商供应商为降本，不惜偷工减料，产品质量难以保证，最终伤害的不仅是供应商，也包括车企有整零关系。

曾称纯电汽车是人类能源的浪费！专家：中国人在全世界都有强大竞争力

南方科技大学创新创业学院院长刘科近日公开表示，中国人在全世界都有强大竞争力。在市场经济下中国人的活力发挥出来，竞争力是非常强大的。如果将来燃料电池真正发展，绿色甲醇就是广义氢能，就是氢的常温、常压储用载体。