OpenAI 憋了个大的🚀 Astra 官宣为下一代模型家族，内部版干穿 10 道十年未解难题，论文+Lean 4证明全开源，token 成本才约 2000 美元。现在不给公众用，得先过美国政府审查。Astra 不再是单次聊天模型，更像能自己拆任务长期推演的 agent。大家觉得 OpenAI 这是炫技还是真要再砍推理成本一个量级？#微博视频号迎新计划##船长来了AI##船长来了AI[超话]#
发布于 广东