Unverified50% confidenceFactExact time
In 2024, mathematician Alexander proved that a weakened proposition based on the Liouville function holds, but only on the condition that it applies solely to sufficiently large even numbers and requires the assumption that the Generalized Riemann Hypothesis holds.
1
Sources
50%
Confidence
Long-term
Relevance
9/26/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedIn 2023, top mathematicians including Terence Tao began using Lean to formalize important theorems.72% similarUnverified哈达玛猜想由法国数学家雅克·哈达玛于 1893 年提出，认为当矩阵阶数是 4 的倍数时哈达玛矩阵一定存在，至今未被完全证明70% similarVerifiedAt the end of 2023, Terence Tao and collaborators used Lean and LLM assistance to prove an important special case of the polynomial Freiman-Ruzsa conjecture70% similarUnverified安德鲁·怀尔斯证明费马大定理的核心工具谷山-志村猜想是朗兰兹纲领的一个特殊情形68% similarUnverifiedFermat's Last Theorem eluded the mathematics community for 358 years.68% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/951497API
curl https://kongchang.com/api/v1/knowledge/claims/951497MCP
get_claim(id=951497)