TAG

#形式驗證

2 篇文章

TechLab 所有關於「形式驗證」嘅文章、評測同教學，由最新排起。

OpenAI 未公開模型 Astra 一口氣交出十項數學成果，有新界限、反例同完整構造，部分論證亦有 Lean 證書。不過成果成立、方法有新意、模型可重複做到，係三個唔同問題；而家最缺嘅資料，正正係失敗次數、人類點引導同外部同行評審。

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