сегодня у нас есть пост о усилиях по AI и автоматическому доказательству теорем (и некоторых классных проектах!)
18,54K