Теоретическая сторона этой области не требует вычислительных машин. Но без них многие вопросы никогда бы не возникли. Теоретик информатики Эдсгер Дейкстра, лауреат премии Тьюринга и изобретатель одного из самых знаковых алгоритмов в истории вычислительной техники, был человеком с твердыми убеждениями. Например, его раздражали некоторые языки программирования: однажды он назвал Фортран «инфантильным расстройством» и заявил, что «использование COBOL калечит разум; поэтому […]
Переломный момент наступил летом 2025 года. В июле того же года несколько моделей искусственного интеллекта решили пять из шести задач Международной математической олимпиады — ежегодного соревнования для лучших старшеклассников со всего мира. Математики были шокированы — мало кто ожидал, что программы так быстро добьются таких результатов, — но впечатляющие результаты не обязательно означали, что искусственный интеллект совершит прорыв […]
Спустя более трех столетий была решена геометрическая задача, возникшая в результате королевского пари. Представьте, что вы держите в руках две игральные кости одинакового размера. Можно ли просверлить в одной из них туннель, достаточно большой, чтобы в него проскользнула другая? Возможно, вы инстинктивно воскликнете: «Конечно, нет!» Если да, то вы не одиноки. В конце XVII века […]