Unverified50% confidenceEventExact time
A statement purportedly from Duminil-Copin regarding OpenAI's mathematical results has been circulating on Reddit, but its authenticity has not been verified and it has only been seen from a single source
1
Sources
50%
Confidence
Short-term (~14 days)
Relevance
10/10/2026
First Seen
Valid until: 10/24/2026
Sources
Related Entities
Related Claims
UnverifiedThe Reddit post did not specify which mathematical problem or record was involved, and lacked reproducible code, prompts, and Lean scripts, making independent third-party verification difficult.64% similarUnverifiedA Reddit post claimed that someone used OpenAI's Dots to build an agent cluster, broke a 47-year-old mathematical record at zero cost, and formally verified the proof using Lean.63% similarUnverifiedThe allegations covered in this article are based solely on a single Reddit user's public statements and have not been confirmed by OpenAI as the platform operator.61% similarUnverifiedThis statement by Noam Brown comes from a Reddit account and represents a single source lacking full context.61% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/995285API
curl https://kongchang.com/api/v1/knowledge/claims/995285MCP
get_claim(id=995285)