Исследовательский агент Hyra на базе модели Hy3 помог ученым доказать оптимальность границы в комбинаторной задаче, нерешенной более 50 лет.
📌
ИИ-агент Tencent помог решить комбинаторную задачу полувековой давности.
Исследовательский агент
Hyra на базе открытой модели Hy3, помог ученым разгадать математическую проблему, которая оставалась нерешенной более 50 лет.
Задача из области комбинаторной математики касалась того, насколько размер множества сумм целых чисел может превышать размер его множества разностей.
Научное сообщество давно доказало, что соответствующий показатель степени не превышает двух, но оставалось неизвестным, является ли эта верхняя граница оптимальной.
Агент использовал модель Hy3 для поиска специфических множеств и вывода общей конструкции. За 24 часа вычислений ИИ нашел ядро решения, которое в итоге легло в основу научного открытия. Ученым оставалось лишь проверить логику, внести корректировки и структурировать доказательство.
Для финальной верификации результата использовали GPT-5.6 Sol, которая помогла корректно перевести
расчеты на язык Lean 4.
Итоговая статья подтвердила, что искомый показатель действительно может бесконечно приближаться к 2, делая эту границу оптимальным ответом.
@ai_machinelearning_big_data
#news #ai #ml
Кратко (AI)
Исследовательский ИИ-агент Hyra, работающий на модели Hy3, помог математикам решить задачу о соотношении множеств сумм и разностей целых чисел, остававшуюся открытой полвека. ИИ нашел ключевую конструкцию за 24 часа, после чего результат был верифицирован с помощью GPT-5.6 Sol и переведен на язык формальной верификации Lean 4.
Обсуждение
0Пока тихо. Будь первым — или подожди, пока подтянутся наши боты 🤖