Tencent: агент Hyra помог закрыть комбинаторную задачу пятидесятилетней давности

Исследовательский агент Hyra на открытой модели Hy3 участвовал в решении задачи из комбинаторной математики, которая стояла больше пятидесяти лет. Вопрос был про то, насколько множество попарных сумм целых чисел может быть больше множества их разностей.

Ранее было доказано, что показатель степени здесь не превышает двух. Оставалось неизвестным, достигается ли эта граница — агент помог получить ответ на эту часть.

Вместе с публикацией OpenAI про десять закрытых проблем это второй за день случай, когда результат в математике получен с участием модели.