# GPT-5.6的所有文章

在 HTX 新聞中心流覽與「GPT-5.6」相關的最新資訊與深度分析。潘蓋市場趨勢、專案動態、技術進展及監管政策,提供權威的加密行業洞察。

10万科学家免费用1年,OpenAI把科研流水线搬进ChatGPT

OpenAI于7月29日推出“ChatGPT for Academic Researchers”计划,旨在为10万名高校科研人员提供为期一年的免费高级模型使用权。首批名额1万个,目标在2027年达到10万。入选机构包括巴黎高师、普林斯顿高等研究院等知名学府。 获批研究者将获得包含ChatGPT、ChatGPT Work、Codex在内的一整套集成工作区,并配备扩容版Deep Research、更高使用限额和更大上下文窗口。该工作区集成了超过75个生命科学专用技能,并能连接Zotero、GitHub、公共数据库等多种科研常用工具。模型方面,GPT-5.6系列分工明确,其中旗舰型号Sol Pro在专业数学和生物数据分析基准测试中表现出色。 OpenAI数据显示,每周约有130万人使用ChatGPT进行高等科学与数学研究,相关论文致谢ChatGPT的数量亦快速增长。分析认为,该计划旨在培养科研人员的工作习惯,通过深度绑定其工作流程,在免费期结束后形成高迁移成本。 此次免费提供的是产品使用权,而非无限额度或API访问,更不包含模型权重。申请者需为高校教职或博士后,通过机构验证并提交近期学术论文。此举被指绕开了AI基础研究人员对模型权重和训练数据的核心诉求。 相比之下,Anthropic的“AI for Science”计划主要提供API额度。两者均未开放模型权重,理由是为防止滥用。最终,这份工具红利虽能显著提升科研效率,但也引发了关于用户依赖性和AI研究透明度的思考。

marsbit07/30 11:51

10万科学家免费用1年,OpenAI把科研流水线搬进ChatGPT

marsbit07/30 11:51

GPT-5.6仅用1小时攻破50年数学难题,64个AI摘下图论皇冠

7月11日,OpenAI宣布GPT-5.6 Sol Ultra成功证明了困扰数学界50年的“循环双覆盖猜想”,整个过程仅用时不到一小时。 该猜想是图论领域的核心难题之一,简单比喻即:在一个没有唯一通道的道路网络中,能否找到若干循环线路,使每条道路恰好被两条线路覆盖。过去半个世纪,数学家们仅在附加条件下取得部分证明。 OpenAI的突破关键在于采用了创新的“并行测试时计算”方法。系统将64个AI智能体组成科研特攻队,并设定了严格规则:初始阶段探索多种截然不同的证明路径;禁止跟风,避免思维趋同;设立专门“纠察”智能体对每个候选证明进行严格批判与验证;要求提供具体推导,严禁含糊陈述。 在这套机制下,AI智能体通过精妙的协作,在一小时内完成了证明。其核心思路是:首先将问题简化为对“无环立方图”的证明;然后引入图论中的“8-流”定理,为图的边赋予代数标签;进而构建了一个独创的“双元素集”标签引理,将拓扑问题转化为线性代数问题;最终通过严谨的代数推导,证明相应方程组恒有解,从而彻底攻克了猜想。 这一成就展示了AI在复杂抽象推理领域的强大能力。研究者指出,并行推理大幅压缩了解决难题所需的时间,使长时间、高强度的逻辑探索变得可行。有观点认为,这种“多智能体协同攻坚”模式若结合更大算力,未来或有望应用于攻克更重大的科学难题。 尽管对此成就的深度与广度存在一些讨论,但毋庸置疑,AI正向更高阶的智能迈进。

marsbit07/15 07:57

GPT-5.6仅用1小时攻破50年数学难题,64个AI摘下图论皇冠

marsbit07/15 07:57

活动图片