Открытый агент Tencent закрыл задачу аддитивной комбинаторики

На arXiv вышел препринт на восемь страниц: Хаовэй Линь из Tencent Hunyuan и Шанда Ли из Университета Карнеги — Меллона поставили точку в вопросе о соотношении показателей для сумм и разностей множеств — задаче аддитивной комбинаторики, на которой за последний год пробовали силы разные системы, включая AlphaEvolve.

Отличие от результатов OpenAI в том, что работа сделана с открытым агентом Tencent, а не внутренней моделью закрытой лаборатории. Препринт доступен целиком, вместе с формулировкой и доказательством.