新闻

前两天，OpenAI 在 GitHub 上一次性放出了 722 篇数学手稿（后面撤回了几篇），覆盖数论、几何、理论计算机科学、数学物理等 17 个领域，其中一部分附带了可由计算机机械检查的 Lean 形式化证明。据 OpenAI 介绍，它们全部出自一个尚未发布的内部前沿模型，平均每个结果消耗的算力大约相当于 ChatGPT Pro 思考模式运行三个小时。 这并不是 OpenAI 在数学上的第一次大动作。一个月前的 9 月 8 日，它就宣布内部模型调度上万个智能体、历时约 88 小时，给出了与 Navier-Stokes 千禧年难题相关的爆破证明，随即陷入

张智霖10月9日正式澄清：19岁儿子张慕童并非休学退学，而是主动选择了一年“Gap Year”（间隔年），目前正以吉他手身份跟随父亲巡演积累实战经验，同时他明确否认了因此事与袁咏仪闹矛盾的传闻。 一、Gap Year的具体安排与巡演细节 空档期定义：张智霖解释“Gap Year”是孩子选择一年空档去实践后再回去，并非永久放弃学业，和休学有本质区别。 巡演实践：张慕童从2026年8月广州站起登上父亲演唱会舞台，坐在乐队区弹奏电吉他，后续佛山站等内地巡演也将继续担任吉他手。 父亲的私心：张智霖坦言希... [355 chars]

IT之家 10 月 8 日消息，LG 新能源今日发布 2026 财年（2026 年 1 月～2026 年 12 月）第三财季（2026 年 7 月～2026 年 9 月）业绩快报及第三财季（2026 年 1 月～2026 年 9 月）业绩快报报告： 2026 财年第三财季 营业总收入 ：9.64 万亿韩元（IT之家注：现汇率约合 478.12 亿元人民币），同比增长 59%，环比增长 27.55% 2026 财年前三财季累计 营业总收入 ：23.76 万亿韩元（现汇率约合 1177.95 亿元人民币），同比增长 26.1%，环比增长 567.3% AI