陶哲轩转赞！40多年「忙碌海狸」数学难题获突破，4万行Coq代码立大功_大广网

您当前的位置： 首页 >> 标签：陶哲轩转赞！40多年「忙碌海狸」数学难题获突破，4万行Coq代码立大功

陶哲轩转赞！40多年「忙碌海狸」数学难题获突破，4万行Coq代码立大功

【新智元导读】「忙碌海狸」难题困扰了计算机科学家40多年。如今，来自全球各地20+业余开发者和数学家们，终于取得了突破性进展。他们抓到浏览全文>>

大家爱看

频道推荐

站长推荐