当前位置:首页 > 资讯 > 正文

困扰数学家90年的猜想,被计算机搜索30分钟解决了