7Hacker News (AI-filtered, score >= 200)·
GPT-5.6 reportedly closes 30-year gap in convex optimization via prompting
A Reddit/HN discussion reports that GPT-5.6 was used to close a longstanding 30-year open problem in convex optimization, apparently via a single prompt. This follows OpenAI's earlier CDC proof announcement and suggests a pattern of frontier models making substantive mathematical contributions. The community discussion has notable engagement (226 points, 116 comments), though the underlying technical details are not provided in the source.
Related guides (3)
Related events (8)
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.
Community benchmark: Fable 5 vs. GPT-5.6 Sol on NP-Hard problem with /goal directive
A community blog post compares Fable 5 and GPT-5.6 Sol on an NP-Hard problem, investigating whether a /goal directive improves performance. The post attracted 193 HN points and 99 comments, suggesting meaningful practitioner interest. The comparison touches on reasoning capability differences between models and the effect of structured prompting strategies.
OpenAI releases GPT-5.6, advancing price-performance frontier
OpenAI has released GPT-5.6, framed as an advancement in the price-performance frontier for their model lineup. The announcement originates from OpenAI's official index page and is generating significant community discussion on Hacker News with 417 points and 274 comments. This represents a new model release in OpenAI's GPT-5 series, positioned as a cost-efficiency improvement rather than a pure capability leap.
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.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.
OpenAI releases GPT-5.6
OpenAI has released GPT-5.6, a new version of their flagship model series. The item surfaces via Hacker News with high engagement (850 points, 626 comments), indicating significant community interest. The source URL points to an official OpenAI announcement page, suggesting this is a primary release event.
Introducing GPT-5.4
OpenAI has released GPT-5.4, described as their most capable and efficient frontier model targeting professional work. The model features state-of-the-art coding, computer use, and tool search capabilities, along with a 1 million token context window. This represents a significant capability and efficiency advancement over prior GPT-5 series models.
Introducing GPT-5.5
OpenAI has announced GPT-5.5, described as their most capable model to date, with improvements in speed and reasoning targeted at complex tasks including coding, research, and data analysis. The announcement positions GPT-5.5 as a step beyond GPT-5 in OpenAI's model lineage. The blog post is brief and announcement-level, with limited technical detail provided at this stage.