新智元报道 AI 解决了数学界一个悬了 80 年的老问题：埃尔德什平面单位距离猜想。 5 月的一个下午，这个消息第一次传到 Timothy Gowers 耳中时，他以为 AI 给出的是一个证明。 如果这是真的，「数学家可能很快就要出局了。」 他花了整整一晚上，重新调整自己的世界观。 第二天早上，一封
中芯国际交出一份超预期的二季度成绩单：营收突破 30 亿美元，毛利率升至 25.3%，盈利能力全面改善。随着 AI 需求向成熟制程扩散，公司产能利用率维持高位，产品结构持续优化，管理层预计三季度收入和毛利率仍将进一步提升。 8 月 13 日，中芯国际发布 2026 年第二季度未经审核业绩。公司二季度
一条推文引发的讨论 2026 年 6 月初，OpenClaw 创始人 Peter Steinberger 在社交平台上写了一句话，大意是：别再手动给 AI 编码代理写提示词了，应该去设计一个能替你写提示词的系统。几天之内，Claude Code 的负责人 Boris Cherny 在公开场合跟上，他
文 | 螺旋实验室，作者丨追命，编辑丨坚果 资本江湖里，没有永恒的战友，只有永远的利益。 过去十余年，阿里通过资本入股的方式，跟圆通、中通、申通、韵达、百世等快递公司合作，形成了一个庞大的电商生态联盟。 但过去两年，这个联盟正在一点点“松动”。近日，圆通速递发表公告称，阿里旗下持股平台已完成新一轮减
金磊发自凹非寺 量子位 | 公众号 QbitAI 终于，专属具身智能的视频模型来了！ 话不多说，直接来看生成的效果： 视频地址： https://mp.weixin.qq.com/s/shwkij9ul5GpCBfNYMxU7Q 这就是蚂蚁灵波刚刚正式开源的 LingBot-Video—— 全球首个
7 月 9 日消息，近日，有用户查看拓竹模型社区 MakerWorld，发现影石 Insta360 已开设了账号，并上传了最新产品 Luna Ultra 云台相机的官方 3D 模型。据了解，Luna Ultra 模型为官方上传，而且可以拆开。用户可以自行下载后，用拓竹打印出完整的 Luna 机模，也
来源：经济参考报 近年来，新能源汽车市场渗透率节节攀升的同时，新能源车“越做越大、越做越重”等现象，让消费者、车企等各方对全生命周期环保性的审视也逐渐深入，相关话题与讨论持续受到关注。 多位专家在接受记者采访时表示，新能源汽车增重，是动力系统从燃油机时代转向电动化时代后必然出现的结构性变化，要看重得
在日前举办的股东大会上，商汤科技首次对外预告了其下一代旗舰多模态基座模型——商汤日日新 SenseNova-U1 Pro。它定位为业界首个以“理解·生成·行动”原生统一为内核的多模态智能体基座，预计将于 2026 年 7 月正式启动邀请测试。值得注意的是，此次商汤明确将全球顶尖模型 GPT-Imag
新智元报道 AI 递归自改进和 AI 研究自动化正在从概念走向现实。对此，哈萨比斯夜不能寐。 夜不能寐！ 哈萨比斯亲口承认，现在所有前沿 AI 实验室都在搞递归自我提升。 但紧接着他又说，将人类完全排除在循环之外所带来的安全风险，令他夜不能寐。 这两句话放一起，你就该警觉了。 那个大多数人视为 AI
IT 之家 6 月 21 日消息，岚图汽车发文，透露岚图 FREE + 于今日在岚图汽车总装工厂正式下线，该车将于 6 月 24 日开启预售。作为现款岚图 FREE 的改款车型，该车将搭载华为最新智能辅助驾驶 ADS 4.0 和 HarmonySpace 鸿蒙座舱5。 外观方面，该车前格栅为封闭式设