1999年，俄罗斯数学家、「数学诺贝尔奖」挪威阿贝尔奖得主Mikhail Gromov提出了sofic群的概念。
其下一代主要模型 Astra 的内部版本，在高维几何、编码理论、群论、算术电路复杂性、量子复杂性、格密码学和极值组合等领域，给出了十项新的研究结果。
OpenAI在华盛顿的闭门演示中，重点炫耀了新能力：让多个AI智能体在长时间内协同工作。
据知情人士透露，OpenAI 短期内还计划发布一份报告，介绍其如何解决 10 道此前尚未攻克的数学问题，以展示最先进模型的科研能力。
从产品定位来看，Astra 将成为与 Sol、Terra、Luna 并列的新模型家族。
据OpenAI介绍，Astral构建了广泛使用的开源Python工具，通过uv、Ruff和ty等现代工具帮助开发者提升工作效率。A：OpenAI收购Astral主要是为了将开源开发工具引入Codex AI…
一旦开发者习惯了OpenAI提供的全套工具链，其生态粘性将难以撼动，这与当年微软通过操作系统控制软件生态的逻辑异曲同工。它不仅揭示了AI巨头在编程工具层面的激烈竞争，更预示着AI编程将从单纯的代码生成，迈向更…
OpenAI在周四宣布，已达成协议收购Astral公司，该公司是uv、Ruff和ty等热门开源Python开发工具的开发商，并将把该公司整合到其Codex团队中。去年11月，Anthropic收购了Java…
这是OpenAI把手伸进了全球数百万Python开发者的日常工作流里，直接把你每天都在用的基础设施，装进了自己的AI口袋。OpenAI的算盘是：当AI能无缝操作开发者每天都在用的基础设施时，它就成了不可替代…
06/25 00:17
06/25 00:16
06/25 00:15
京公网安备 11011402013531号