Ethan Mollick@emollickOpenAI 下一代模型 Astra 证明了多个新数学结果，包括推翻 Connes 刚性猜想，并发布 10 项带 Lean 证书和 CoT 推理的证明。Ethan Mollick 指出，AI 数学能力两年内从基础运算跃升至前沿研究，且单次成本不到 2000 美元。OpenAI 正侧重宣传新模型的实际益处。
Some things to note： 1） AI is getting very good at math and science. 2） Two years ago LLMs could not do basic math consistently 3） According to @polynoamial this cost less than $2000 in current API coats 4） OpenAI is focusing on announcing benefits， not just risks， of new models
OpenAI 下一代模型 Astra 证明了多个新数学结果，包括推翻 Connes 刚性猜想，并发布 10 项带 Lean 证书和 CoT 推理的证明。Ethan Mollick 指出，AI 数学能力两年内从基础运算跃升至前沿研究，且单次成本不到 2000 美元。OpenAI 正侧重宣传新模型的实际益处。
Some things to note： 1） AI is getting very good at math and science. 2） Two years ago LLMs could not do basic math consistently 3） According to @polynoamial this cost less than $2000 in current API coats 4） OpenAI is focusing on announcing benefits， not just risks， of new models