7Hacker News (AI-filtered, score >= 200)·
Terence Tao uses ChatGPT in exploration related to Jacobian Conjecture counterexample
A shared ChatGPT conversation attributed to mathematician Terence Tao, apparently exploring ideas related to a potential counterexample to the Jacobian Conjecture, has attracted significant attention on Hacker News (452 points, 251 comments). The Jacobian Conjecture is a longstanding open problem in algebraic geometry and polynomial maps. If the conversation reflects genuine mathematical progress toward a counterexample, this would be a major mathematical event; the AI-assisted nature of the exploration is also notable as a capability signal.
Related guides (4)
Frontier Model ReleasesTopic guide
Frontier Model Releases: The Race from GPT-3 to Safety-Tiered Superintelligence
Read asIn-depth
Related events (8)
New ways to learn math and science in ChatGPT
OpenAI is adding interactive visual explanations for math and science topics to ChatGPT, allowing users to explore formulas and variables in real time. The feature targets students and learners, representing an expansion of ChatGPT's educational capabilities. This is a product-layer enhancement rather than a new model or core capability release.
Introducing ChatGPT
OpenAI announced ChatGPT, a conversational model trained to engage in dialogue, answer follow-up questions, acknowledge errors, challenge incorrect premises, and decline inappropriate requests. The model's dialogue format represented a significant step in making large language models accessible and interactive for general users. This November 2022 launch marked a pivotal moment in public AI adoption.
Claim: Claude Fable produced a counterexample to the Jacobian Conjecture
A social media post (with significant HN traction: 401 points, 234 comments) claims that Claude Fable, apparently an Anthropic model, produced a counterexample to the Jacobian Conjecture — a longstanding open problem in algebraic geometry/mathematics unsolved since 1939. If verified, this would represent a landmark AI-assisted mathematical discovery. The claim is unverified at time of posting and warrants close scrutiny.
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.
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.
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.
Introducing ChatGPT Agent
OpenAI has launched ChatGPT agent, a new capability that combines reasoning with tool use to autonomously complete multi-step tasks such as research, bookings, and presentation creation. The agent operates under user guidance, integrating thinking and acting in a unified workflow. This represents OpenAI's move to bring agentic capabilities directly into the ChatGPT product for general consumers.
OpenAI launches ChatGPT Work, a product tier targeting enterprise and professional users
OpenAI announced ChatGPT Work, a product offering positioned for professional and enterprise use cases described as supporting 'most ambitious work.' The announcement originates from OpenAI's official index, suggesting a formal product launch rather than a minor update. With 296 HN points and 141 comments, the community response indicates meaningful practitioner interest.