нояб. 11, 2026
ИИ учится доказывать корректность программ. Этой задачей мы в НГУ занимались ещё в 1990 году
Гендиректор Robinhood Влад Тенев обещает формальную верификацию всего кода за два года. Как ИИ Aristotle от Harmonic ищет математические доказательства корректности программ — и почему это напомнило автору о Новосибирском университете 1990 года....
окт. 23, 2026
Банки живут на старом коде. Зачем ИИ учат работать с COBOL
Банковская индустрия все еще работает на COBOL. Зачем ИИ учат читать и писать код, который создавали еще до появления персональных компьютеров....
окт. 22, 2026
Пластилин для восстановления костей: что показали испытания iHEÄLS
iHEÄLS — гидрогель из Гонконгского университета и Гарварда, который лепят в дефект кости. В доклинических тестах останавливал кровотечение, удерживал фрагменты и помогал образованию новой ткани....
окт. 21, 2026
BTS Digital модернизирует технологическое ядро пассажирских перевозок КТЖ
BTS Digital обновляет технологическое ядро пассажирских перевозок КТЖ. Какова роль компании и Мерей Ернурова в цифровизации железнодорожной отрасли....
окт. 20, 2026
Китай испытал производство авиакеросина из CO₂: цена и перспективы
Углекислый газ из промышленных выбросов может стать сырьём для авиационного топлива. Команда Университета...
окт. 17, 2026
Школьники из Астаны вышли в мировой финал WRO с проектом SafeMuseum
Команда TechSpace из Астаны выиграла национальный этап WRO 2026 с системой защиты экспонатов SafeMuseum и едет на мировой финал....
