Кста я тут подумал, мб сюда составим список из опенсорсных проектов которые делаются тут? в смысле что всех кто в чатике есть и кто хотел бы про свой проект написать
Кста я тут подумал, мб сюда составим список из опенсорсных проектов которые…
0 viewsОткрыть в Telegram →
Из этого канала
- #5320https://gptzero.me/news/iclr-2026/
https://gptzero.me/news/iclr-2026/
- #5321Hilbert: Recursively Building Formal Proofs with Informal Reasoning…
Hilbert: Recursively Building Formal Proofs with Informal Reasoning https://arxiv.org/abs/2509.22819 https://www.alphaxiv.org/ru/overview/2509.22819
- #5325а было уже, в сохраненках осталось прост
а было уже, в сохраненках осталось прост
- #5318скажите как вам если посмотрите я еще править буду
скажите как вам если посмотрите я еще править буду
- #5317Ии в формал математике и доказательстве теорем…
Ии в формал математике и доказательстве теорем https://github.com/researchim-ai/state-of-ai/blob/dev/AIFormalMathresearch.md + ИИ в гос секторе…