AI 要接管数学了？OpenAI 攻克 10 道悬置难题
OpenAI 未发布模型 Astra 解决 10 道长期未解数学难题：250+60 页论文、Lean 形式化验证、约 2000 美元自估成本；学界兴奋与担忧并存，成果未经正式同行评审。
Astra
共 2 篇
刚刚，OpenAI 被曝强推 GPT-6：安全争议却先炸了
8 月 10 日 X 平台爆料：OpenAI 下一代模型 GPT-6 传 10 万亿参数，8 月强行发布；与此同时官方 8/9 紧急暂停 Astra 安全评估。AI 圈最大焦点背后的三重信号。
每周一封 AI 技巧，只发能立刻用上的
精选工具、实操步骤与副业思路，免费送到邮箱。不推销、不打扰，随时退订。
每周一封，随时退订。