167 читали · 3 года назад
Можно ли доверять компьютерам?
Это простое выражение на языке математического ПО Maple проверяет формулу, подсчитывающую количество целочисленных треугольников с заданным периметром. Шалош Б. Эхад, соавтор нескольких работ, опубликованных в уважаемых математических журналах, известен своими лаконичными доказательствами теорем и тождеств, ранее требовавших многих страниц математических рассуждений. В прошлом году, когда его попросили подтвердить формулу для количества целочисленных треугольников с заданным периметром, Эхад провёл 37 вычислений менее, чем за секунду, и выдал ответ: правильно...
141 читали · 1 год назад
Квантовый компьютер Eagle превзошел суперкомпьютер в сложной математике
Техника постобработки для исправления ошибок позволила квантовому компьютеру из 127 кубитов рассчитать физические свойства сложной системы — задача, которую классический компьютер не может выполнить. Исследование опубликовано в журнале Nature. Компания IBM объявила о прогрессе, достигнутом в работе квантовых компьютеров. Впервые система, состоящая более чем из 100 кубитов продемонстрировала возможность давать точные результаты в сложных вычислениях. При решении задачи по моделированию компьютер Eagle превзошел возможности традиционных суперкомпьютеров...