Unverified50% confidenceEventExact time
OpenAI recently released nearly 400 mathematical results, one of which involves a shortcut to the Zeta function and, if the 199-page proof holds, would be the biggest advance in the direction of the Riemann hypothesis in more than a century.
1
Sources
50%
Confidence
Medium-term (~90 days)
Relevance
10/12/2026
First Seen
Valid until: 1/10/2027
Sources
Related Entities
Related Claims
Unverified2024年OpenAI发布的o1技术报告明确展示了推理Token数量与AIME数学竞赛得分之间近乎线性的正相关关系63% similarUnverifiedAs of 2024, Lean's Mathlib library has formalized more than 170,000 mathematical theorems.61% similarUnverifiedOpenAI于2026年8月1日宣布其内部模型Astra解决了十道数学界长期悬而未决的难题60% similarUnverifiedOpenAI 于 2023 年率先将工具调用能力标准化，随后 Claude、Gemini 等主流模型相继跟进59% similarUnverifiedIn the short span of one month in late July 2026, OpenAI researchers' AI usage surged nearly fourfold.59% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/1012991API
curl https://kongchang.com/api/v1/knowledge/claims/1012991MCP
get_claim(id=1012991)