Unverified50% confidenceEventExact time
GPT-6 Astra unconditionally proved a weakened version of the Goldbach Conjecture using a mathematics paper of only two pages.
1
Sources
50%
Confidence
Long-term
Relevance
9/26/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedThe proof written by GPT-6 Astra addresses not the classical Goldbach conjecture, but a weakened Liouville version of it.76% similarUnverifiedGPT-6 Astra's proof employs proof by contradiction, combining properties of finite fields with elementary algebraic reasoning.68% similarUnverifiedOn the first day, GPT-6 Astra proved that all multiples of 4 hold unconditionally, and on the second day extended the conclusion to all even numbers greater than 2.67% similarUnverifiedThe mixed version (GPT-6 Astra for planning and review + GLM 5.3 Flash for writing all code) consumes approximately one-quarter the tokens of the pure Claude version while performing almost on par.66% similarUnverifiedIn an experiment reproducing a physics-related paper, GPT-6 Astra performed best, Opus 5.4 was slightly behind, and DeepSeek has room for improvement on tasks such as rendering.64% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/951490API
curl https://kongchang.com/api/v1/knowledge/claims/951490MCP
get_claim(id=951490)