周一至周日 10:00-22:00
当AI开始批量生产数学证明，人类凭什么确信这些证明是可靠的？ 美国当地时间10月9日，著名数学家、菲尔兹奖得主陶哲轩在其博客转发了托马斯·黑尔斯的专栏文章“《数学家应该了解的Lean定理证明器：可靠性与人工智能问题》”。 陶哲轩博客转发文章截图 这场AI数学浪潮的矛盾在于： AI正在以前所未有的速度攻克数学难题，这些难题过去需要数学家耗费数年甚至数十年才能完成的证明 。 一个典型的案例是OpenAI于10月6日在GitHub上一次性放出了722篇由内部模型生成的数学手稿，涵盖372个结果系列和约4000个测试问题。 “我身边搞数学的，最近都去搞趣味数学了
IT之家 10 月 10 日消息，别克旗下全新君越车型于今天正式上市，智享版限时权益价 14.99 万元，智尊版限时权益价 16.99 万元。 该车新增墨竹青专属涂装外观，层面延续 PURE Design 纯粹设计理念，前脸采用凌空展翼造型，光羽律动格栅具备动态视觉效果，羽翼循光 LED 大灯组内嵌电镀饰条，配合最新三色盾品牌标识，夜间点亮后辨识度相当突出。 该车车身侧面轮廓修长流畅，匹配传统造型门把手和 19 英寸轮毂，车顶线条带有轻微溜背倾向，整体姿态舒展，车辆后备箱标准容积为 506L，后排座椅放倒后还可进一步扩展储物能力。 该车搭载高通 8155
刚刚，Axios 发布了一篇独家报道，称 Anthropic、OpenAI 等 AI 公司的高管正在 私下推演 这样一个场景：一场由 AI 引发的灾难性事件发生之后，公众和政界会如何反弹，公司又该如何应对。 Axios 将其概括为为「 the day after 」做准备。被预设的并非科幻式的「AI 觉醒」，而是 一次大规模事件 ，最可能的形式是网络攻击， 足以让金融服务、互联网连接，甚至电力和供水系统陷入瘫痪 。多位接受 Axios 采访的业内人士认为， 这样的事件会在未来 6 到 12 个月内发生 。 https://www.axios.com/20
国庆假期，机器人租赁需求迎来集中释放，全国多地商圈、文旅景区、品牌快闪店、展会现场引入机器人开展互动迎宾、舞蹈展演、客流引导等活动，不少平台在节前一周就出现档期排满情况。 不过，随着国庆租赁高峰结束，机器人租赁价格也已回落，整体市场租金水平已经出现明显下行，日租金从去年年初的最高万元跌至不足千元，据科创板日报，有电商平台商家页面标注，宇树科技机器人租赁起步价已跌至289元/天。 10月9日，界面新闻查看闲鱼发现，有些帖子显示出租宇树G1机器人、宇树G2机器狗及其他各类机器人，页面价格在300到上千元不等。记者问询其中一家商家发现，页面价格只是笼统价，春晚
自从有了AI，新事物层出不穷，以至于都未及命名。眼看着首部XXXX剧不断问世，好在除了炒股的，大家也并不真在意这种“第一名”。 9月下旬，先是“首部真人实拍结合AI制作”的古装玄幻剧《行镖》上线腾讯视频，紧接着“首部超长真人出演AI季播剧”《不羡鸳鸯只羡仙》在爱奇艺悦享会官宣。在AI长片上英雄所见略同的两家长视频平台，如今又在真人AI混拍中长剧上狭路相逢。 而早在今年6月，抖音集团短剧版权中心就将“真人结合AI制作”列为新的扶持方向。快手为京东618打造的《来自星星的我们》，也号称是“首创AI实拍”。 AI能极大程度压缩项目成本与制作周期，划算得有目共睹
OpenAI 实在太会营销了。 十一期间， OpenAI 宣布要搞个大活动：连续 28 天更新。 我惊了，能保持一个月每天连续更新产品，OpenAI 这噱头真是拉满了。 那个记录 Codex 发额度重置的网站，又出了一个新页面：Tibo 的 28 天挑战，专门记录每天都更新了什么东西。 不过仔细看了下每天这些更新的公告，发现这个所谓的「更新」好像不全是我想象中的那样…… 原来这些「更新」不一定都是大版本。 「更新」可能是有模型调整，可能是一点点新的产品功能，也可能是只推理提效…… 说实话，大部分具体的改动没有特别吸引我。第一天的更新只是输出速度提升了，第
