An early version of a next major language model, tested internally by a developer, produced ten new results on long-standing open problems in mathematics and theoretical computer science, at an approximate token cost of $2,000 calculated using the GPT-5.6 Sol API prices. The development may indicate increased efficiency in AI-driven mathematical research and raises the need for reproducibility and validation.
Internal model produced 10 new results in open mathematics and theoretical computer science problems
An early version of a next major language model, tested internally by a developer, produced ten new results on long-standing open problems in mathematics and theoretical computer science, at an approximate token cost of $2,000 calculated using the GPT-5.6 Sol API prices.
