#形式驗證

OpenAI Astra 一口氣交十項數學成果，AI 原創研究去到邊一步？

OpenAI 未公開模型 Astra 交出十項數學同理論電腦科學成果，仲附上 Lean 證書。件事證明 AI 已經摸到原創研究門口，不過「十題全解」講大咗：部分成果只係改善已知界限，形式驗證亦取代唔到專家判斷、文獻追溯同研究價值評估。