OpenAI обновила рекорд по простым числам за счёт нейросети
OpenAI обновила рекорд по простым числам за счёт нейросети За неделю рекорд по одной и той же математической задаче двигали трижды. Пятнадцать лет держалось значение 246. Команда математиков с доказательством в Lean сбила его до 212. Следом модель GPT-6 Astra от OpenAI улучшила результат до 186 — и её вписали соавтором работы. Через сколько лет, думаете, ии обгонит людей в математике уже везде, а не только тут?