Искусственный интеллект в математике открывает новый золотой век научного поиска +3
Публикации с тегом Доказательство теорем
Проект Lean: Можно ли формализовать всю математику на компьютере – и нужно ли? +16
Доказана омнипериодичность игры «Жизнь» Конвея +92
Совершенный кубоид +5
Как в Индиане чуть не узаконили π = 3.2 +35
