ИИ-поисковик найдет любые теоремы в один клик⁠⁠

Вводите темы из точных наук и получаете список теорем с источниками на GitHub.

Сервис ищет по крупной математической библиотеке и понимает самые простые запросы, а главное — всё бесплатно. Это Google из мира математики! (Единственный минус - он на английском)

Студенты, ловите — тут.