57天，人类和AI合作搞定了4694个等式之间22028942个蕴含关系!大神陶哲轩激动宣布:等式理论计划，成功。“等式理论计划”，由陶哲轩本人在2024年9月25日发起，目的是探索按蕴含关系排序的原群（magma）等式理论空间。特别的是，在这个项目里，陶哲轩不仅集合了人类数学家的力量，还
......
本文由站长之家合作伙伴自媒体作者“量子位公众号”授权发布于站长之家平台，本平台仅提供信息索引服务。由于内容发布时间超过平台更新维护时间，为了保证文章信息的及时性，内容观点的准确性，平台将不提供完全的内容展现，本页面内容仅为平台搜索索引使用。需阅读完整内容的用户，请查看原文，获取内容详情。
（举报）
小米汽车联合东北大学王国栋院士团队、育材堂共同研发的2200MPa超强钢技术取得突破，应用于小米SU7车型。该钢材抗拉强度较1500MPa热成型钢提升40%，A柱、B柱承载能力分别提升25%和70.5%，四门防撞梁性能显著增强。这项技术由东北大学轧制技术及连轧自动化国家重点实验室（现数字钢铁全国重点实验室）主导研发，该团队曾率先开发出2000MPa级热成型钢。育材堂作为技术转化平台，汇聚了多位钢铁领域专家。此次创新标志着国产汽车钢材达到国际领先水平。
在今晚举办的发布会上，全新小鹏G7正式亮相。 这款车最大的亮点之一就在于搭载了小鹏自研的图灵AI芯片，而且一次性用上了三颗，带来了行业首个L3级算力平台。 小鹏自研图灵AI芯片拥有40核处理器、最高30B可运行模拟参数、2xNPU自研神经网络处理大脑、DSA集成神经网络特定领域架构、2个独立图像ISP，拥有超2000Tops全本地算力支撑。
互联网上出了一个“二次元神医”。 当千万观众还在为动漫《我想吃掉你的胰脏》里，山内樱良日渐恶化的身体状况而揪心落泪时，B站UP主“狗子王Dogtor_Wang”却发出了“肺囊性纤维化预警”。 当动漫《时光代理人》播到主角陆光遇刺、被送进手术室急救的紧张时刻，“狗子王Dogtor_Wang”却冷静地讲解着大出血时“泳池放水”的急救逻辑，还顺手指出了番剧中医生的操作纰
今天上午，雷军发微博又透露了小米YU7在车身被动安全上的一个卖点。他表示，小米YU7借鉴防滚架的设计灵感，在A、B柱内部嵌入6 根2200MPa小米超强钢热气胀管，与车身结构紧密配合，构建起独特的 内嵌式防滚架”。 他介绍，这个设计大幅提升了A柱、B 柱的承载能力，使得车辆在应对翻滚、小偏置正碰以及追尾卡车等极端碰撞场景时，为乘员舱提供更可靠的支撑与保护。
今日，雷军在微博上正式宣布：大家非常期待的 小米YU7，将于6月底发布。” 临近发布，雷军特别强调了小米YU7在被动安全性方面做出的提升。他表示，小米YU7将2200MPa超强钢应用于车身前后车门防撞梁，共计4根。在车辆遭遇侧碰时，能够为乘员舱提供更为坚实的保护屏障。
2025年端午档新片预售总票房突破2000万，其中动画电影《时间之子》点映及预售票房达1000万。该片由奥、周铁男执导，郑志昊、张博任总监制，孙凌宇任监制，将于5月30日上映，讲述冷面杀手十七与渔村少女千晓因神秘时轮结缘的浪漫奇遇。另一部《碟中谍8：最终清算》预售票房800万，故事围绕超级人工智能"智体"引发的全球核弹危机展开。两部影片占据端午档90%以上票房份额。
在技术逐渐超越人的时代，我们必须思考：如何在与科技同行的同时，不失人类本色……
第七届北京智源大会成功举办，清微智能作为国产可重构芯片架构领导者受邀出席，展示前沿国产算力技术成果。公司首次官宣可重构芯片累计出货量突破2000万颗，成为全球销量领先的可重构芯片厂商。清微依托清华20年技术积淀，坚持高阶国产替代路径，已量产TX8与TX5两大系列十余款芯片，为AI智算中心、大模型等场景提供算力支持。公司还与智源研究院深化合作共建FlagOS生态，并与华为同期加入FlagTree，共同打造统一自主的国产AI芯片软件生态。清微通过"芯片+模型"软硬协同模式重构国内AI生态，成为高阶国产替代赛道的长期主义样本。
近日，随着高考的圆满结束，一场别开生面的“数学擂台赛”在各大AI大模型间悄然展开。多家知名科技公司的大模型被邀请参与2025年数学新课标Ⅰ卷中的14道客观题测试，以此检验它们在逻辑推理和数学能力上的实力。此次测试题目包含8道单选题、3道多选题以及3道填空题，满分设定为73分，且测试过程严格遵循高考判分原则，确保结果的公正性与准确性。 测试成绩揭晓�
，在北京大学任教的数学天才韦东奕（网友称韦神”）近日开通短视频账号，迅速引发巨大关注。 截至6月8日，其账号粉丝量已突破2000万。他唯一发布的一条4秒出镜自我介绍视频，甚至成为许多考生家长的许愿池”，评论区充满对其才华的敬佩和对子女学业进步的祈愿。 然而，韦东奕本人账号的火爆，也引来了众多搭便车”的山寨账号。平台上一时间涌现出诸如韦东奕严选
