注册

忙碌海狸

首页标签忙碌海狸

站长资讯
陶哲轩转赞！40多年「忙碌海狸」数学难题获突破，4万行Coq代码立大功
【新智元导读】「忙碌海狸」难题困扰了计算机科学家40多年。如今，来自全球各地20业余开发者和数学家们，终于取得了突破性进展。他们抓到了第五只忙碌海狸——用Coq辅助证明，得到答案47176870。对此陶哲轩激动地表示，这再次体现了证明助手对数学研究协作的重要性。40多年的计算机难题——「忙碌海狸」难题，今天获得了重大突破了!
站长网2024-07-03 21:48:49
0000

热点

关注

推荐