AI·OpenAI released GPT-5.6 in three tiers—Sol (flagship), Terra, and Luna—boosting benchmarks in Agent's Last Exam (56.3 score), math, coding, security, and research while slashing token costs and adding Max/Ultra reasoning modes.
Search
What are you looking for?
3 results for “math”
AI·OpenAI attributes a complete proof of the 50-year-old Cycle Double Cover Conjecture (every bridgeless graph has a cycle double cover) to GPT-5.6 Sol Ultra, which completed the 3-page PDF in under an hour using 64 parallel sub-agents guided by a 700-character public prompt.
AI·This position paper reviews LLM-driven formal theorem provers and argues that current systems function mainly as solvers for well-defined problems, not as research agents capable of discovering new theorems or resolving open conjectures at the frontier. It identifies key limitations in datasets, exploration, tools, and collaboration and proposes a roadmap for AI4Math systems to support genuine mathematical research.