site stats
【困扰数学家90年的猜想,被计算机搜索30分钟解决了】来自斯坦福、CMU等高校的4名数学家,将凯勒猜想转化成了对10亿个结果进行“暴力搜索”。解决了凯勒猜想后,Heule的下一个目标是用计算机证明数学里“最简单的不可能问题”——3n 1猜想,去年陶哲轩已经“几乎”解决了这个问题,现在可能只差一步之遥了。
sign_in_with_google sign_in_with_google

4594 位用户此时在线

24小时点击排行 Top 10:
  1. 本站自动实时分享网络热点
  2. 24小时实时更新
  3. 所有言论不代表本站态度
  4. 欢迎对信息踊跃评论评分
  5. 评分越高,信息越新,排列越靠前