Sasha Rush

关于精益机器学习系列博客的第三篇。我目前的状态是： * 形式验证（>2026）是我们能够使用法学硕士编写严肃代码的唯一可行方式。 * 形式验证（2026 年）很糟糕，理解任何事情都超出了人类的能力。