TAG

#形式化證明

2 篇文章

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

OpenAI 稱模型在數學、理論電腦科學及物理有重大成果，並以 GitHub 及外部專家小組展開檢驗；目前多屬待核實主張，公開程度亦不一。

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