11.11云上盛惠!海量产品 · 轻松上云!云服务器首年1.8折起,买1年送3个月!超值优惠,性能稳定,让您的云端之旅更加畅享。快来腾讯云选购吧!
在《我的世界》里估算欧拉数e,误差仅约0.00766%!两位数学博士“跨界”整了个大大大活儿——用《我的世界》搞数学研究,通过游戏机制成功估算各种数学常数的值。√2、π、欧拉数e、阿佩里常数ζ,难度逐级递增,但都是他们的实验对象。如果最大公约数是1,那么这些数字就是互质的。
40多年的计算机难题——忙碌海狸难题,被一群业余爱好者攻破了!数学大佬陶哲轩转发了这一消息,并欣慰表示:计算机科学家ScottAaronson为此还写了一篇博文,并大肆赞赏:具体言,人们历经数十年努力,终于找到了第五个“忙碌海狸”图灵机:图灵机是一种抽象的计算模型,通过读取和写入0和1在无限磁带上进行计算。早在40多年前,一群计算机科学家在德国多特蒙德举行竞赛,寻找“忙碌海狸”图灵机。以至于著名理论计算机科学家ScottAaronson发出感慨:嗯?这话有点耳熟,BB好像也是这样说的。
陶哲轩成功地用AI工具完成了形式化多项式Freiman-Ruzsa猜想证明过程的工作。他再次呼吁数学研究者学会正确利用AI工具,网友惊呼:以后的数学论文不需要人类可读了?用AI工具辅助研究数学的项目,再一次被陶哲轩跑通!三周前,他曾发布一篇博文,记录下自己使用Blueprint在Lean4中形式化多项式Freiman-Ruzsa猜想的证明过程。陶哲轩表示,希望在未来的某个时候,前身结果也能被证明�