Unverified50% confidenceFactExact time
OpenAI's result numbered 074 only proves the four-dimensional Hausdorff dimension version, does not resolve the four-dimensional maximal function conjecture or five dimensions and above, and has neither Lean formalization nor peer review.
1
Sources
50%
Confidence
Medium-term (~90 days)
Relevance
10/11/2026
First Seen
Valid until: 1/9/2027
Sources
Related Entities
Related Claims
UnverifiedThe paper points out that in OpenAI's Navier-Stokes proof, equation 8.19 claims that a certain quantity can be bounded by the norm of the (m+4)-th order derivative, but the Lean code verifies that it is bounded by the norm of the (m+5)-th order derivative, which is a weaker conclusion.66% similarUnverifiedOpenAI's GPT-6 has made a breakthrough on the Twin Prime Conjecture, proving that there exist infinitely many pairs of consecutive primes with a gap of no more than 186.65% similarUnverifiedq4_0使用对称量化（零点固定为0），q4_1使用非对称量化（零点可浮动），后者在数值分布不对称时更精确但需额外存储零点参数61% similarUnverifiedThe single-feature holdout IC benchmarks given in the AQuA paper show that combining all features with ridge regression achieves a maximum of only +0.025, and no single feature can exceed 0.03.61% similarUnverified在4-bit量化下，纯参数理论最小占用为：7B约3.26GiB，13B约6.05GiB，32B约14.90GiB，70B约32.60GiB60% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/997059API
curl https://kongchang.com/api/v1/knowledge/claims/997059MCP
get_claim(id=997059)