新闻中心
-
11-12当今最复杂的椭圆曲线找到了!29个独立有理点打破18年记录又是计算机帮了忙。对现代密码学稍有了解的人都必定听过椭圆曲线的赫赫威名,但椭圆曲线本身依然还存在很多悬而未决的问题。今天,量子杂志作者JosephHowlett...
-
11-11夸克模型的意义是什么夸克模型对现代物理学具有重大意义,它:揭示了质子、中子的结构,表明它们是由称为夸克的粒子组成。预测了奇异夸克的存在,随后被实验证实。与胶子模型相结合,统一了强相...
-
11-02理所当然也能错,数学界震动:「上下铺猜想」被证伪现代数学,开始对你的直觉开刀了。数学的很大一部分是由直觉驱动的,但有时想当然会让人误入歧途。早期的证据可能并不代表大局,一个陈述可能看起来很明显,但一些隐藏的微...
-
05-03跨越300多年的接力:受陶哲轩启发,数学家决定用AI形式化费马大定理的证明在陶哲轩的启发下,越来越多的数学家开始尝试利用人工智能进行数学探索。这次,他们瞄准的目标是世界十大最顶尖数学难题之一的费马大定理。费马大定理是一个非常复杂的数学...
-
04-09AI攻克费马大定理?数学家放弃5年职业生涯,将100页证明变代码费马大定理,即将被AI攻克?而且整件事最意味深长的地方在于,AI即将解决的费马大定理,正是为了证明AI无用。曾经,数学属于纯粹的人类智力王国;如今,这片疆土正被...
-
04-09AI颠覆数学研究!菲尔兹奖得主、华裔数学家领衔11篇顶刊论文|陶哲轩转赞AI,的确正在改变数学。最近,一直十分关注这个议题的陶哲轩,转发了最近一期的《美国数学学会通报》(BulletinoftheAmericanMathematic...

