По оценке компании, новая защита сократила объём извлекаемых рассуждений на 90–99% на её платформе. Такие данные используют для дистилляции: сильная модель решает задачи, а другую обучают на её примерах. Особенно ценны подробные рассуждения, показывающие, как получен ответ. Что изменили: • Ограничили перенос рассуждений между аккаунтами и моделями. • Внедрили двухступенчатый классификатор попыток извлечения. • Усилили лимиты и блокировки для подозрительных аккаунтов. Почему это...

И также доказал 44 гипотезы из базы целочисленных последовательностей Исследовательский агент AlphaProof Nexus, разработанный Google DeepMind, решил 9 из 353 открытых математических задач, связанных с именем венгерского математика Пала Эрдёша. Две из них оставались нерешёнными 56 лет. На каждую решённую задачу Эрдёша система тратила на вычисления несколько сотен долларов. Кроме того, агент доказал 44 из 492 открытых гипотез из Онлайн-энциклопедии целочисленных последовательностей (OEIS), содержащей математические последовательности чисел...