Unverified50% confidenceFactExact time
The 2025 proof by Hong Wang and Zahl simultaneously resolved both the Hausdorff dimension and Minkowski dimension versions of the three-dimensional Kakeya set conjecture.
1
Sources
50%
Confidence
Long-term
Relevance
10/11/2026
First Seen
Sources
Related Entities
Related Claims
VerifiedAt the end of 2023, Terence Tao and collaborators used Lean and LLM assistance to prove an important special case of the polynomial Freiman-Ruzsa conjecture74% similarUnverifiedIn 2019, Griffin, Ono, Rolen, and Zagier published work linking the Riemann Hypothesis to the hyperbolicity of Jensen polynomials, proving that Jensen polynomials associated with the Riemann ξ function are hyperbolic for sufficiently large degrees.70% similarUnverifiedDyatlov和Zahl在2016年首先在超平面集（Ahlfors-David正则集）的情形下证明了分形不确定性原理（FUP）67% similarUnverifiedTerence Tao rigorously proved that solutions to the averaged version of the three-dimensional Navier-Stokes equation blow up in finite time.67% similarUnverifiedIn 2023, top mathematicians including Terence Tao began using Lean to formalize important theorems.66% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/997057API
curl https://kongchang.com/api/v1/knowledge/claims/997057MCP
get_claim(id=997057)