Codex

1. 1 天前甲骨文 ChatGPT 与 Codex 应用2 篇报道

活跃度

事件脉络

1. 11/01甲骨文 ChatGPT 与 Codex 应用2 篇报道★ 3
2. 10/21OpenAI 模型接入谷歌云2 篇报道★ 4
3. 01/15OpenAI Codex接入Ollama2 篇报道★ 4

主题标签

相关术语

• 研究者不满OpenAI对数学与物理突破设访问门槛
  OpenAI宣布在数学、计算机科学和物理学取得重要突破，并称将借助外部专家“牧羊人”决定成果的公开方式。但研究者批评其仅让少数指定专家先行查看，认为公开宣布成果就应让整个社区参与审查。此前OpenAI大量投放预印本已令数学界疲惫。
• OpenAI 称其 AI 在 Lean 中证伪指数时间假设
  有报道称 OpenAI 的 AI 系统在 Lean 证明助手中给出了指数时间假设（ETH）的反证，若成立将是计算复杂性理论的重大突破。该说法目前仅见于单一来源，尚待数学界与形式化验证社区核实。
• OpenAI 宣布数学、计算机科学、物理学三项新发现
  OpenAI 宣布在调和分析、复杂性理论和量子场论三个方向取得新发现，并采用与学术界合作的新方法。公司邀请外部专家组织团队理解研究结果，参与者无需签署保密协议、可自由讨论并发表结论，且为自愿无报酬。OpenAI 表示不会为内部模型产生的发现寻求学术署名。
• OpenAI 公布数学、计算机与物理三项发现，并设专家把关机制
  OpenAI 宣布在数学、计算机科学和物理领域取得三项“重大”发现，包括证明指数时间假设（ETH）不成立、欧氏波动方程的局部光滑性，以及四维相互作用量子场论的严格存在性证明。与上次直接批量发布手稿不同，这次 OpenAI 邀请外部专家担任“牧羊人”指导结果发布，但其数学顾问小组同时建议 AI 公司不要采用指定特定人员优先获取输出的做法。

相关主题