#形式化證明

Astra 交出十項數學研究成果，AI 科研協作去到邊？

OpenAI 話未公開嘅 Astra 推進咗十項數學同理論電腦科學研究，仲交出論文同 Lean 證明。成果份量唔細，不過十項都係官方揀出嚟嘅成功個案，外界暫時重跑唔到模型，真正命中率同研究成本仍然係問號。