标签：数学探索
和图灵机相关的这个数字，已经大到整个宇宙原子都容不下了
衡量图灵机最大运行步数的海狸数纪录被刷新，一位神秘人突破了第六个海狸数的新下限，其数值大到难以用十进制表示，需用超复杂的五幂运算描述。海狸数即忙碌...
陶哲轩全网悬赏「最强大脑」！AI+人类颠覆数学难题？凡尔赛网友已下场
陶哲轩，一位著名的数学家，最近发起了一项挑战，旨在探索是否可以利用AI和众包的方式扩展数学问题的证明范围。他提出了一个项目，使用Lean4证明辅助语言来形...
