9Hacker News (AI-filtered, score >= 200)·
GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture
OpenAI has published a PDF document claiming that GPT-5.6 Sol Ultra has produced a proof of the Cycle Double Cover Conjecture, a major open problem in graph theory unsolved since the 1970s. The conjecture states that every bridgeless graph has a cycle double cover, and its resolution would be a landmark result in combinatorics. If verified, this would represent a significant frontier capability milestone for AI-assisted mathematical reasoning. The HN post attracted 224 points and 203 comments, indicating substantial community attention.
Related guides (2)
Related events (8)
GPT-5.6 Sol Ultra reportedly coming to OpenAI Codex
A tweet by Thomas Sottiaux, gaining significant traction on Hacker News (288 points, 222 comments), claims that GPT-5.6 Sol Ultra will be integrated into OpenAI's Codex product. This would represent a new model version beyond the current OpenAI flagship GPT-5.5, suggesting an upcoming release or announcement. The community engagement indicates this is being treated as credible signal about OpenAI's near-term model roadmap.
GPT-5 and the future of mathematical discovery
UCLA Professor Ernest Ryu collaborated with GPT-5 to solve an open problem in optimization theory, representing a concrete example of AI-assisted mathematical research. The announcement highlights GPT-5's capability in formal reasoning and scientific discovery beyond standard benchmarks. This is an OpenAI blog post showcasing a real-world research outcome involving a frontier model.
Advancing science and math with GPT-5.2
OpenAI has released GPT-5.2, described as its strongest model for mathematics and science, achieving state-of-the-art results on GPQA Diamond and FrontierMath benchmarks. The announcement highlights practical research applications including solving an open theoretical problem and generating verified mathematical proofs. The post positions GPT-5.2 as a meaningful step toward AI-assisted scientific discovery.
GPT-5.2 derives a new result in theoretical physics
A new preprint demonstrates GPT-5.2 proposing a novel formula for a gluon amplitude in theoretical physics, which was subsequently formally proved and verified by OpenAI researchers and academic collaborators. This represents a claimed instance of an AI system producing a genuinely new scientific result rather than reproducing known work. The result was published as a preprint and announced via the OpenAI blog.
OpenAI GPT-next Solves 80-Year-Old Erdős Planar Unit Distance Problem for Under $1000
A Latent Space AINews digest reports that OpenAI's GPT-next model disproved the Erdős planar unit distance conjecture, an 80-year-old open problem in combinatorial geometry, at a compute cost under $1000. The item is framed as a notable AI-assisted mathematics result. The brief characterizes it as a quiet day overall but highlights this as a meaningful capability demonstration at the intersection of AI and formal mathematics.
OpenAI previews GPT-5.6 Sol, a next-generation model
OpenAI has announced a preview of GPT-5.6 Sol, described as a next-generation model. The announcement originates from OpenAI's official index page, surfaced via Hacker News with 664 points and 406 comments, indicating significant community interest. This represents a new model release beyond the current GPT-5.5 flagship, advancing OpenAI's model lineage.
OpenAI previews GPT-5.6 Sol, a next-generation model with advanced safety stack
OpenAI has previewed GPT-5.6 Sol, a next-generation model claiming stronger capabilities in coding, science, and cybersecurity. The announcement highlights that the model is paired with OpenAI's most advanced safety stack to date. This is a preview rather than a full release, suggesting a formal launch is forthcoming.
An OpenAI Model Disproves a Central Conjecture in Discrete Geometry
An OpenAI model has reportedly disproved a long-standing conjecture in discrete geometry, representing a significant AI-assisted mathematical discovery. This is a notable capability demonstration of AI systems contributing to frontier mathematical research. The announcement comes directly from OpenAI and has generated substantial community discussion on Hacker News with 462 points and 298 comments.