Управление робототехникой в реальном времени с помощью языка Lean +7 09.05.2021 13:30 Doublesharp 4 Разработка под Arduino Разработка робототехники Функциональное программирование Робототехника Блог компании SkillFactory
Насколько близко компьютеры подошли к автоматическому построению математических рассуждений? +13 16.09.2020 10:51 SLY_G 21 Искусственный интеллект Научно-популярное Математика
Учёные всегда будут доказывать теорему о распределении простых чисел +13 05.08.2020 09:39 SLY_G 9 Научно-популярное Математика
Там, где сходятся доказательства, факты и воображение +23 15.04.2019 12:00 SLY_G 11 Научно-популярное Математика
Свидетельства, по нескольку десятилетий обманывавшие учёных +68 16.07.2018 07:00 SLY_G 84 Научно-популярное