AI工具 OpenAI 公开数学成果集:719 篇手稿、372 个家族,部分带 Lean 形式化证明 AI 做的数学成果,到底有多少是真证明?OpenAI 在 10 月公开了自己的数学成果集 openai/mat…
每日精选 AI 价格战打到大客户头上了:OpenAI 最高打一折抢 Anthropic 的客户 AI 大模型的价格战,打到大客户头上了。据 The Information 报道,OpenAI 正在用大幅折扣…
每日精选 GPT-6.1 Terra 现身微软评测配置:Astra 被叫停后的替代者,最快下周落地 GPT-6.1 Terra 已经在微软的评测配置里现身,最快可能下周落地。它是 GPT-6.1 Astra 的…
每日精选 降价正在改写开发者的模型选择:Anthropic 在 Rippling 的份额从 57% 跌到 18% 降价正在改变开发者用哪家模型写代码。据 The Information 报道,Rippling 工程师的编程工…