AI Cracks Theorem, Expert Confirms
为什么重要：人工智能破解定理，专家确认探讨了人工智能如何独立证明一个复杂的定理，然后得到顶级专家的认可。
Emmy Noether: the woman who developed one of the most beautiful theorems in physics
她通过将对称性与动量联系起来，彻底改变了我们对宇宙的理解。
The most important quantum advance of the 21st century
一个世纪前，量子物理学推翻了我们对确定性宇宙的看法。一个深刻的 21 世纪定理关上了大门，甚至……继续阅读《从一声巨响开始！》 »
AI Cracks Four Century-Old Math Mysteries
为什么重要：人工智能破解了四个世纪之久的数学谜团，因为新系统证明了曾经被认为无法解决的定理。
在数学中，当未知数成为方程式中的未知量时，在分配任何值之前，它就会变成人们早已熟悉的东西。在量子理论之前和之后，自然都是可以用数学来记录的。即使是那些无法同化的东西、不可解决的和非理性的东西，也被数学定理围起来。在抢占式 [...]
