скажите как вам если посмотрите я еще править буду

Кста я тут подумал, мб сюда составим список из опенсорсных проектов которые делаются тут? в смысле что всех кто в чатике есть и кто хотел бы про свой проект…

https://gptzero.me/news/iclr-2026/

Hilbert: Recursively Building Formal Proofs with Informal Reasoning https://arxiv.org/abs/2509.22819 https://www.alphaxiv.org/ru/overview/2509.22819

Ии в формал математике и доказательстве теорем https://github.com/researchim-ai/state-of-ai/blob/dev/AIFormalMathresearch.md + ИИ в гос секторе…

Готовишься к покупке опенаи?