标签：证明助手

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

经过40多年的研究，计算机科学家们终于在“忙碌海狸”难题上取得了重大突破。这个突破得到了著名数学家陶哲轩的高度评价。“忙碌海狸”游戏是由数学家Tibor Radó...

AIGC动态

5个月前