Ученые создали безопасное ядро, используя математические доказательства

По итогам четырех лет работы было написано и проверено 7500

Ерундой занимаются. Мало написать абсолютно безопасную ОС, надо еще чтобы она годилась для практического применения. 7,5 тыс строк для ОС — это смешно.