Ringer称当年批评形式化研究无用者应道歉

西北大学计算机科学教授 Talia Ringer 发帖称，多年来嘲笑形式化验证与类型理论研究“没用”的人，如今大概该承认自己错了，甚至为“既刻薄又错了”道歉。她以 AI 代码生成兴起为背景，认为这些研究对保障程序正确性的价值重新受到关注。

AI 根据报道生成 · 20 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。