publicly-available

GPT-5.6 Sol Ultra，一个公开可用的AI模型，在一小时内破解了一个50年未解的数学猜想，这表明AI可能在未来十年内解决数学问题。