Tag
GPT-5.6 Sol Ultra, a publicly available AI model, solved a 50-year-old math conjecture in under an hour, suggesting that AI may solve mathematics within the next decade.