在花🎗️科技圈
OpenAI 发布内部前沿模型生成的数学成果合集 OpenAI 发布由内部未公开前沿模型生成的数学成果,GitHub 合集含 722 篇手稿、372 个结果系列,涉及长期未解问题。许多证明已用 Lean 形式化验证。 仓库称,模型平均每项结果使用约 3 小时 ChatGPT Pro 思考算力,评估期间约尝试 4000 道题,并提供 10 份推理摘要。部分结果仍处于验证阶段。 The Verge | GitHub | OpenAI 🌸 科技圈· 茶馆 · 投稿
丘成桐牵头成立数学与 AI 实验室联盟

菲尔兹奖得主、清华大学讲席教授丘成桐牵头联合多家机构,成立丘成桐数学与人工智能实验室联盟,自主开发中国数学专用大模型。联盟 10 月 11 日在清华大学成立,丘成桐任主席,汇集超过 1000 名科学家。

丘成桐称,AI 对数学的冲击“像海啸来了”,应主动冲浪而非回避。联盟将重点研发数学专用模型、建设 AI 辅助数学研究基础设施,并拓展至量子计算、生命科学、金融经济等交叉领域。

北京日报 | 联合早报

🌸 科技圈· 茶馆 · 投稿
来自频道: @zaihuapd
来自频道: @zaihuapd
GTA 6 获 ESRB M 级等多项官方评级

《GTA 6》已获多个机构官方评级:ESRB 定为 M(17+),PEGI 18 级,澳大利亚与新西兰为 R18+。游戏定于 2026 年 11 月 19 日发售。

评级披露的内容包括血腥、强烈暴力、成熟幽默、裸露、粗口、性内容、毒品与酒精等。PEGI 还确认有斩首、肢解、可携带并使用可卡因、歧视性语言,以及可购买游戏内物品。澳洲与新西兰的 R18+ 则确认含性爱场景。

GameRant

🌸 科技圈· 茶馆 · 投稿
来自频道: @zaihuapd