положил в соответстующий раздел кстати чот альфахив не грузится :( бедааа

Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience…

Curie — это первая платформа на основе ИИ-агентов, предназначенная для автоматизированных и тщательных научных экспериментов.

Вот это потыкал, понравилось. https://www.scienceos.ai/ Очень похоже на notebookLM, только с поиском по научным статьям вместо веба

GyroSwin: 5D Surrogates for Gyrokinetic Plasma Turbulence Simulations https://arxiv.org/abs/2510.07314 https://github.com/ml-jku/neural-gyrokinetics

спасибо! надо поразбираться, интересно