查找赛事
当AI开始批量生产数学证明，人类凭什么确信这些证明是可靠的？ 美国当地时间10月9日，著名数学家、菲尔兹奖得主陶哲轩在其博客转发了托马斯·黑尔斯的专栏文章“《数学家应该了解的Lean定理证明器：可靠性与人工智能问题》”。 陶哲轩博客转发文章截图 这场AI数学浪潮的矛盾在于： AI正在以前所未有的速度攻克数学难题，这些难题过去需要数学家耗费数年甚至数十年才能完成的证明 。 一个典型的案例是OpenAI于10月6日在GitHub上一次性放出了722篇由内部模型生成的数学手稿，涵盖372个结果系列和约4000个测试问题。 “我身边搞数学的，最近都去搞趣味数学了
阅读详情
IT之家 10 月 8 日消息，奕境汽车品牌总经理曾清林今日发文，分享了奕境 X9 目前市场的反馈和订单情况。他透露， 奕境 X9 订单中、高配占比非常高；31.98 和 35.98 两个配置占比达到了 95%；单车均价在 34 万以上 。 据IT之家此前报道，奕境 X9 上市 24 小时大定 9157 台。该车于 9 月 24 日晚上市，号称满配华为乾崑全栈智能，拥有华为乾崑智驾、鸿蒙座舱、华为乾崑赤兔平台、华为乾崑车载光、华为乾崑车云、华为鲸鳍通信加持。 增程四驱 Ultra+ 旗舰长续航版：36.98 万元 增程四驱 Ultra+ 长续航版：32.
阅读详情
IT之家 10 月 8 日消息，PC 品牌 XMG 当地时间本月 6 日正式推出了 其近 15 年来的首款 18 英寸级笔记本电脑 ：PRO 18（2026 年中期）标准版及其 Value Edition (VE) 低配。 PRO 18 / PRO 18 三维 400 × 291.5 × 24.9~26.5 (mm)，集成 3 风扇散热、99.8Whr 电池， 质量分别为 2.9kg 和 2.82kg ，屏幕拥有 2560×1600 分辨率、500nits 亮度、100% sRGB / DCI-P3 色域。 其提供 2 个 DDR5 SO-DIMM 内存
阅读详情
arXiv 正式实施最严新规：每人每月限发 2 篇论文，拒稿也算！ 从 10 月 1 日起，在 arXiv 上挂论文有了次数限制。 按照新规，每个提交账号一个月最多投两篇，同时等待审核的稿子不能超过三篇。 被审核员拒掉的稿子同样占名额，论文上的其他作者则不受影响，名额只记在点下「提交」的那个人头上。 这条规定是被爆炸的投稿量逼出来的。 今年 9 月，arXiv 收到 40363 篇投稿，创下单月纪录，工作人员和审核员为此处理了将近 9000 份工单。 2016 年 9 月，arXiv 的月投稿量还不到一万篇，用了八年才涨到两万；从两万涨到四万，只花了两年
阅读详情
IT之家 10 月 3 日消息，当地时间 2 日，据外媒 electrek 报道，以可拆卸车门，综合功率 670 马力为卖点的 Jeep Recon 纯电 SUV，实际能效表现却低于宣传水平。 Jeep 今年夏天推出 Recon，起售价 66,995 美元（IT之家注：现汇率约合 45 万元人民币）。按照 Jeep 的说法，Recon 是“首款、唯一一款获得 Trail Rated 认证的纯电动 SUV”，也是目前 7 万美元（现汇率约合 47 万元人民币）以内唯一一款拥有 670 马力的 SUV。 外媒《Car and Driver》近期进行的高速续航
阅读详情