Я загрузил в arXiv свою статью «Новые конструкции множеств Никодима над конечными полями». Это ответвление моего предыдущего проекта с Богданом Георгиевым, Хавьером Гомесом-Серрано и Адамом Жолтом Вагнером, о котором я недавно писал. В том проекте мы экспериментировали с использованием AlphaEvolve (и других инструментов, таких как DeepThink и AlphaProof) для исследования […]