AI人工智能
bingdada
OpenAI首次提交数学证明：AI在科研级推理领域取得重大突破
OpenAI在First Proof数学挑战中提交了10个证明尝试，其中至少5个被专家评估为高概率正确。这一成果展示了AI在科研级推理上的突破，包括长链推理、抽象选择和专家验证能力，为未来公开模型奠定了基础。
bingdada2026-08-0269约 4 分钟阅读
浏览所有关于 SEO、GEO 和搜索优化的技术文章
OpenAI在First Proof数学挑战中提交了10个证明尝试，其中至少5个被专家评估为高概率正确。这一成果展示了AI在科研级推理上的突破，包括长链推理、抽象选择和专家验证能力，为未来公开模型奠定了基础。
bingdada
OpenAI宣布向英国AI安全研究所创立的“对齐项目”提供750万美元资助，旨在支持全球独立AI对齐研究。该笔资金将用于探索计算复杂性理论、认知科学等多元领域，强化前沿实验室之外的独立研究生态系统，确保AGI安全发展。
bingdada
太平洋西北国家实验室（PNNL）与OpenAI合作，通过DraftNEPABench基准测试评估AI模型在联邦许可审批中的效率。测试显示，编码代理可将NEPA文件起草时间减少约15%，每小节节省1-5小时。这一合作旨在将基础设施项目审批时间从数月缩短至数周，推动美国经济竞争力。
bingdada
OpenAI 2026年2月安全报告揭示了威胁行为者如何利用AI与传统工具结合进行恶意活动，包括跨模型操作和自动化攻击。报告提供了案例研究和防御策略，强调行业合作与主动预防的重要性。
bingdada
OpenAI与Figma深化合作，推出Codex到Figma的无缝集成，实现代码与设计画布的双向流动，加速产品迭代，模糊团队角色边界。
bingdada
OpenAI 任命 Arvind KC 为首席人力资源官，他将领导公司在 AI 变革工作方式的过程中实现增长与适应，聚焦人才发展、系统优化与负责任转型。
bingdada
OpenAI与亚马逊宣布战略合作，亚马逊投资500亿美元，双方将联合开发状态化运行时环境、通过AWS分发Frontier平台、大规模采用Trainium算力，并定制模型赋能亚马逊消费端应用，重塑AI企业生态。
bingdada
OpenAI 宣布 ChatGPT 将推出信任联系人功能，加强情感困扰检测，并更新心理健康相关诉讼进展。每周超 9 亿用户使用 ChatGPT，安全防护持续升级。
bingdada
OpenAI与微软联合发布声明，强调双方自2019年建立的合作关系稳固不变，IP授权、收入分成、Azure独家云提供商等核心条款均未受OpenAI新融资及与亚马逊合作的影响。声明澄清了外界猜测，重申共同推进负责任AI的使命。
bingdada
OpenAI 宣布完成 1100 亿美元新融资，投前估值 7300 亿美元，投资方包括软银、英伟达和亚马逊。同时与亚马逊和英伟达达成战略合作，加速 AI 基础设施和产品规模化，推动前沿 AI 全球普及。
bingdada
OpenAI与五角大楼达成协议，在机密环境中部署AI系统，并设置三条核心红线：禁止国内监控、禁止自主武器、禁止高风险自动决策。协议包含云端部署、专家参与和合同保护等多层安全措施，为AI国家安全部署设立新标准。
bingdada
OpenAI 发布 GPT-5.3 Instant 更新，专注于提升 ChatGPT 日常对话的流畅性和实用性。新版本显著减少了不必要的拒绝和免责声明，提高了回答的直接性和准确性，让 AI 助手更自然、更高效。
bingdada