#正式驗證

OpenAI Astra 推進十項數學難題，AI 開始試做長時間原創研究

OpenAI 公開內部模型 Astra 推進十項數學同理論電腦科學難題，亦放出論文、推理整理同 Lean 證明檔。真正值得睇嘅位，係模型識得長時間試路、撞板再重組思路；不過機器驗證、專家閱讀同正式同行評審，仍然係三個唔同層次。