陶哲轩可太喜欢 GPT 系列大语言模型了!近几个月来，著名数学家陶哲轩热衷于用 ChatGPT、GPT-4等 AI 工具辅助解决数学问题。我们也一直在持续地关注，这不今天又看到了他使用 GPT-4来帮助自己证明数学定理。不禁好奇，是什么样的数学定理呢?根据陶哲轩的介绍，他最近在包含有限多个
......
本文由站长之家合作伙伴自媒体作者“机器之心公众号”授权发布于站长之家平台，本平台仅提供信息索引服务。由于内容发布时间超过平台更新维护时间，为了保证文章信息的及时性，内容观点的准确性，平台将不提供完全的内容展现，本页面内容仅为平台搜索索引使用。需阅读完整内容的用户，请查看原文，获取内容详情。
（举报）
OpenAI宣布推出新一代AI编程模型GPT-5-Codex，其最大亮点是创新的动态时间分配系统。 不同于传统AI追求秒级响应”，该模型可根据任务复杂度灵活调整处理时长，从数秒到7小时不等，以更接近人类专家的决策方式优化代码质量。 GPT-5-Codex产品负责人亚历山大恩比里科斯解释称，传统模型在任务初期即固定计算资源，而GPT-5-Codex能实时评估需求：动态决定加速推进、暂停语法核�
百度发布超轻量级文字识别模型PP-OCRv5，仅0.07B参数却实现媲美700亿参数大模型的OCR精度。在多项测试中超越GPT-4o等通用视觉大模型，尤其在文本定位和边界框精度上表现优异。该模型支持5种文字类型识别，适用于教育、医疗、法律等多行业数字化需求，累计下载量超900万，是GitHub上唯一Star数超5万的中国OCR项目。
9月23日，美团LongCat团队发布全新高效推理模型LongCat-Flash-Thinking。该模型在保持极致速度的同时，性能更强大、更专业，在逻辑、数学、代码、智能体等多个领域的推理任务中达到全球开源模型最先进水平（SOTA），部分任务性能接近闭源模型GPT5-Thinking。它增强了智能体自主调用工具能力，扩展了形式化定理证明能力，成为国内首个结合深度思考、工具调用与非形式化、形式化推理的大语言模型。在数学、代码、智能体等高复杂度任务上表现尤为突出，多项基准测试成绩领先开源及闭源顶尖模型，已在HuggingFace、Github全面开源。
9月24日，2025云栖大会开幕，阿里通义千问旗舰模型Qwen3-Max重磅亮相，性能超越GPT-5、Claude+Opus 4等，跻身全球前三。该模型包含指令和推理两大版本，预训练数据量达36T tokens，总参数超万亿，具备极强编程和工具调用能力。在SWE-Bench测试中，指令版斩获69.6分全球第一；Tau2-Bench工具调用测试达74.8分，超越同类模型。推理增强版Qwen3-Max-Thinking在数学推理测试中获满分，国内首次突破。通义千问系列已实现全尺寸覆盖，包含三百多个模型。即日起，用户可在QwenChat免费体验Qwen3-Max，或通过阿里云百炼平台调用API服务。
真我GT8+ Pro屏幕参数全面曝光，搭载2K 144Hz“苍穹屏”，行业首发4000nit阳光显示，峰值亮度达7000nit。采用京东方Q10+发光材料，支持360Hz四指触控采样率与3200Hz瞬时触控，响应更快。首发1nit极暗护眼技术，支持全应用适配，并引入真彩护眼低蓝光方案，色彩准确度提升64.8%。全亮度DC调光默认开启，SVM频闪指标低至0.07。真我中国区总裁徐起表示，随着电池容量升级至7K mAh级别，2K屏功耗问题得到平衡，这将是同价位最佳屏幕之一。新机预计十月发布。
真我GT8+ Pro曝光，采用视觉四等边2K直屏，为业内首款2K+144Hz屏幕，搭载BOE Q10+发光材料，峰值亮度达7000nit。配备第五代骁龙8至尊版芯片，采用台积电3nm工艺，搭配电竞独显芯片R1优化性能。影像方面搭载2亿像素潜望长焦，支持3倍光学变焦和120倍数码变焦，摄像头模组采用独特机器人形状设计。此外配备对称式双扬声器、120W快充、7K大电池及X轴线性马达等。真我高管称其为同价位最佳屏幕之一，预计节后公布更多信息。
9月25日，小米在海外正式发布15T和15T Pro两款旗舰手机。15T起售价650欧元（约5400元），15T Pro起售价800欧元（约6700元），均为12GB+256GB起步。两款机型设计基本一致，主要差异在核心配置：15T Pro搭载天玑9400+处理器、144Hz刷新率屏幕、90W有线+50W无线充电，后置三摄支持8K视频录制；15T采用天玑8400-Ultra、120Hz屏幕、67W有线快充。两者均配备6.83英寸OLED屏、5500mAh电池及相似影像系统。
真我GT8 Pro将于10月发布，搭载2K+144Hz“苍穹屏”，采用旗舰定制Q10+发光材料，官方称其为“神级好屏”。相比上代，屏幕在分辨率、刷新率、亮度、形态、护眼和色准方面全面提升：分辨率从1.5K升至2K，刷新率从120Hz提至144Hz，峰值亮度达7000nit，形态升级为直屏与大R角，护眼支持全局DC调光与1nit方案，色准升级为硬件级芯片校色。此外，手机配备骁龙8至尊版处理器、电竞独显芯片Q1、2亿像素潜望长焦镜头、对称式双扬声器等，电池容量升级至7000mAh级别，续航体验大幅提升。
9月27日上午10点，小米17系列正式开售，推出三款新机：小米17、小米17 Pro和小米17 Pro Max，起售价4499元。三款机型均采用纯直屏设计，搭载第五代骁龙8至尊版处理器，性能出色。定位各有侧重：小米17为最强标准版旗舰，17 Pro主打小尺寸影像旗舰，17 Pro Max则是巅峰科技影像旗舰。屏幕尺寸上，17和17 Pro为6.3英寸，17 Pro Max为6.9英寸。价格区间覆盖4499元至6999元，竞争力强。此外，小米新增16GB+1TB存储版本的小米17标准版，定价5299元，将于10月5日发售，相比前代更亲民。
2025年9月20日，纽约本土健康品牌Miss Pep受邀参加在American Dream Mall举办的“美国梦×TikTok达人明星全美品牌推广赛”。品牌通过产品展示、达人直播互动及宣讲，向日均超18万客流传递“健康与美缺一不可”理念。现场设置互动扫码送定制纹身贴等趣味活动，吸引大量潮流人士。多位顶流明星及达人助阵，结合线上线下联动直播，触达数百万粉丝，强化品牌认知。Miss Pep深耕健康美学30年，产品覆盖养颜、膳食补充等多领域，以“细胞级靶向修护+超天然成分”为核心，正加速全球化布局，覆盖超20国市场，致力成为健康美学的领军者。
