陶哲轩转赞！40多年「忙碌海狸」数学难题获突破，4万行Coq代码立大功 「忙碌海狸」难题困扰了计算机科学家40多年。来自全球各地20业余开发者和数学家们，终于取得了突破性进展。「忙碌海狸挑战带给我的是一种非常深刻的信念，它是一种非常有效 Coq 2024年07月27日 129 点赞 110 评论 54 浏览
