精选85OpenAI News（RSS）模型发布/更新
OpenAI 构建神经定理证明器，解决数学奥赛难题
推荐理由
做 AI for Math 的同学重点关注，这是神经定理证明器在奥赛难题上的重要突破，建议研究其方法并尝试复现。
We built a neural theorem prover for Lean that learned to solve a variety of challenging high-school olympiad problems, including problems from the AMC12 and AIME competitions, as well as two problems adapted from the IMO.
更进一步：量化金融体系
看懂新闻只是起点——沿量化金融路径，把它变成能交付的工程能力