哥德尔证明是如何运作的
哥德尔不完备定理证明：任何公理系统都无法同时满足一致性和完备性，总存在无法被证明的真命题。文章用哥德尔编号将数学陈述映射为整数，通过自指构造出"本命题不可证"的G语句，从而完成证明。
Quanta Magazine
Quanta Magazine，以公共服务新闻照亮数学、物理、生物学与计算机科学前沿研究。
评论
点赞
收藏Graduate Student Proves the Fractal Uncertainty Principle
At the quantum scale, tiny particles behave in bizarre ways. One reason for this is the uncertainty principle, which says that the more you know about where a quantum particle is, the less you can kno...
Neutrinos from Deep Inside Earth Provide a New Picture of the Mantle
In a laboratory 2 kilometers underground, a crane lowers Matt Depatie, a detector technologist, through a hatch into a white-walled cavern filled with about 7,000 tons of ultrapure water that glows as...
触碰如何导致疼痛或愉悦？
Pain and pleasure seem like simple facts of life, however they are anything but that. Neuroscientists still cannot say why physical pain differs from psychological pain, for instance, or why a loved o...
Corals Spin Tiny Vortices to Get Oxygen, but Not if It’s Too Hot
At first glance, corals present as little more than colorful rocks — piles of lobes, stalagmites, and branches poking out from the seafloor. They are anything but. Corals are complex creatures that fo...
AI正在攻克Erdős数学难题
Erdős提出的数学猜想正被AI逐一攻破。OpenAI内部模型2026年5月推翻"单位距离"猜想，这是AI首次解决具有历史意义的数学证明。业余爱好者用公开LLM解题引发数学界对AI辅助证明验证标准的讨论。
为什么传奇的埃尔德什问题正被人工智能所攻克？
Erdős提出的数学猜想正被AI逐一攻破。OpenAI内部模型2026年5月推翻"单位距离"猜想，这是AI首次解决具有历史意义的数学证明。业余爱好者用公开LLM解题引发数学界对AI辅助证明验证标准的讨论。
AI推理：用错误的方式得出正确的答案？
AI推理模型可能并非真正在"推理"，而是通过近似检索得出正确答案。思维链文本可能只是无意义的填充，对模型输出几乎没有因果影响。多位研究者指出，LRMs的工作方式更接近模式匹配而非逻辑推理。
物理学家解开μ子谜团，旧实验结果却无法自洽
费米实验室μ子g-2实验的25年谜题看似被晶格QCD计算解决，但数据驱动方法与之矛盾，西伯利亚VEPP-2000撞机新测π介子产率进一步加剧冲突。 BMW团队用十年发展晶格技术，2021年在Nature发表计算显示μ子摆动完全符合已知粒子理论，与Fermilab测量一致；而基于电子-正撞数据的推断仍暗示新粒子存在。Novosibirsk新探测器2023年测得π介子产率大幅偏离历史值，与BMW晶格预测吻合，却与加州BABAR实验旧数据冲突。物理学家面临四十年测量结果两派分化的局面，尚无法判断是未知粒子重现还是实验细节遗漏。
Physicists Solve a Big Quantum Mystery. Now, Old Results Don’t Add Up.
费米实验室μ子g-2实验的25年谜题看似被晶格QCD计算解决，但数据驱动方法与之矛盾，西伯利亚VEPP-2000撞机新测π介子产率进一步加剧冲突。 BMW团队用十年发展晶格技术，2021年在Nature发表计算显示μ子摆动完全符合已知粒子理论，与Fermilab测量一致；而基于电子-正撞数据的推断仍暗示新粒子存在。Novosibirsk新探测器2023年测得π介子产率大幅偏离历史值，与BMW晶格预测吻合，却与加州BABAR实验旧数据冲突。物理学家面临四十年测量结果两派分化的局面，尚无法判断是未知粒子重现还是实验细节遗漏。 
Fields and Abacus Medals 2026
Every four years, the math world’s preeminent awards are given to the finest minds of a generation. The young winners — all under 40 on the first day of the year — have reshaped mathematics and theore...
How Fast Is the Universe Really Expanding?
One of the biggest mysteries in cosmology seems to keep getting bigger. Astronomers have known since the 1930s that the universe is expanding, but in the 1990s, the discovery that this expansion is ac...
A Master of the Traveling Salesperson Problem Finds His Own Path
In theoretical computer science, the key to cracking tough problems is finding the right tools. Most researchers gravitate toward tools that match the problems they hope to solve, and some devote enti...
栖息于地球最恶劣环境的生物
Quanta Magazine 介绍极端环境微生物（Extremophiles）及其在工业、生物技术和地外生命探索中的应用。文章列举了耐热菌 Taq 酶如何推动 PCR 技术革命、耐辐射菌 Deinococcus 的研究价值，以及深海和酸性环境微生物的生存机制。内容偏向科普综述，适合对生物学应用感兴趣的读者。
热力学计算机：顺应能量流动
Quanta Magazine 报道热力学计算（Thermodynamic Computing）的新进展。该领域试图利用热噪声而非将其视为敌人，探索基于物理定律的新型计算范式。文章探讨了这种计算方式在能效和特定任务求解上的潜力，以及与传统硅基芯片的根本区别。
简单流体不仅能流动，还能发生脆性断裂
达特茅斯大学研究发现，某些简单流体在拉伸应力下会发生类似玻璃的脆性断裂，而非单纯流动。这一发现挑战了“只有粘弹性复杂流体才能断裂”的传统认知，证实了1995年Daniel D. Joseph的理论预言。断裂速度可达500-1500米/秒，且临界应力与粘度相关。该成果对软体机器人、喷墨打印及材料科学有重要启示。
简单流体不仅能流动，还能发生脆性断裂
Drexel大学发现简单流体（如碳氢化合物混合物）在拉伸应力下会发生脆性断裂，而非像传统认知那样流动。这一现象挑战了“只有粘弹性流体才会断裂”的旧理论，证实了1995年Joseph的预测。断裂速度极快（500-1500米/秒），且临界应力与粘度相关。该发现对3D打印纤维、喷墨打印及软体机器人设计有重要启示。
我们还能找到外星文明吗？
天文学家David Kipping基于统计模型指出，费米悖论可能意味着地球生命是宇宙中的罕见现象。文章分析了德雷克方程中各参数的不确定性，提出“大过滤器”理论的新视角，即复杂生命的演化路径极其脆弱。这对科幻迷和科学爱好者而言是一个冷静且具颠覆性的观点，挑战了地外文明普遍存在的传统假设。