В руках математиков компьютеры могут оказаться ценным инструментом. Однако машины могут также играть свою собственную роль в доказательстве математических теорем. Первый крупный результат такого рода был получен 40 лет назад - в 1976 году. Тогда компьютер доказал  теорему четырех красок, согласно которой любая карта (при некоторых условиях) может быть окрашена с использованием только четырех различных цветовых оттенков. В 2003 году Томас Хейлз (Университет Питтсбурга) опубликовал компьютерное доказательства гипотезы Кеплера о том, что для расположения сферических объектов равного диаметра с точки зрения занимаемой ими площади всем известный метод укладки апельсинов в супермаркете является наиболее эффективным. Многих математиков доказател...

С момента появления первого в мире смартфона прошло почти 10 лет. Все это время именно смартфоны были двигателем инновационных процессов в сфере высоких технологий. Каждое новое поколение “умных телефонов” заставляло изготовителей микросхем шагать в ногу с прогрессом. Рынок требовал логические схемы с более высокой плотностью упаковки, более высокой скоростью обработки данных и более низкой стоимостью. Сегодня правила игры немного изменились. Эра смартфонов еще не закончилась, но темпы роста в данной сфере начали замедляться. Появился новый ключевой игрок – Интернет вещей, который установит для производителей "железа" более высокую планку технических требований. В следующее десятилетие Интернет вещей объединит десятки миллиардов сенсорных ...

Компания Samsung Electronics официально заявила о том, что построит совместно с SK Telecom первую в мире сеть нового поколения LoRaWAN, которая будет обслуживать коммерческие компании, уже подключенные к так называемому "Интернету вещей". Новая сеть будет работать на частоте 900 МГц. Первым городом, который получит к ней доступ уже в следующем месяце, станет Тегу - четвертый по величине город в Южной Корее. Остальная часть Кореи подключится к LoRaWAN чуть позднее. Энергоэффективная сеть дальнего радиуса действия (LoRaWAN) и Интернет вещей (IoT) Постоянно растущий объем обрабатываемых данных будет оказывать на сеть серьезную нагрузку, специалисты обязаны принять этот факт во внимание и оценить все возможные последствия. Не будет никакого ...

Врачи смогли частично вернуть зрение, имплантировав бионический глаз жителю Техаса Джону Джеймсону, который страдал приобретенной слепотой целых 40 лет. Он потерял зрение вследствие серьезной инфекционной болезни. Все эти годы надежд снова увидеть окружающий его мир у Джона не было. Но только до того момента, пока совместными усилиями калифорнийских и швейцарских ученых-исследователей компании Second Sight Medical Products не был создан так называемый «бионический глаз», а Управление по санитарному надзору за качеством пищевых продуктов и лекарств США не выдало разрешение на проведение операции по его имплантации. Уникальная медицинская манипуляция была проведена около месяца назад в больнице города Шревенпорта, штат Луизиана. Джеймсон го...

Ученые из подразделения IBM Research впервые продемонстрировали 3-битные ячейки памяти, основанной на фазовых переходах, или сокращенно PCM. В настоящее время доступны разнообразные виды компьютерной памяти, начиная от проверенной временем DRAM и жестких дисков до вездесущей flash. Однако в последние несколько лет производители электронного оборудования стали обращать все большее внимание на память PCM. У этой универсальной технологии на самом деле есть большой потенциал. Преимущество ее состоит в повышенной скорости операций чтения/записи, энергонезависимости и плотности записи битов на единицу площади носителя. Например, в отличие от DRAM, PCM не теряет данные, когда отключается электричество. А если сравнивать эту технологию с flash-пам...

Инженеры-исследователи из Университета штата Пенсильвания разработали “самозалечивающийся” материал-диэлектрик, который сохраняет все свои изначальные свойства после неоднократных повреждений. Он может сыграть важную роль в дальнейшем совершенствовании мобильной электроники. По утверждению исследователей, традиционные материалы, использующиеся для производства носимой электроники, плохо функционируют после поломок и последующего ремонта. Работа по созданию материалов, способных восстанавливать отдельные свои свойства после различных повреждений, ведется уже давно. Но диэлектрик, который бы восстанавливал сразу несколько свойств, например, удельное электрическое сопротивление и теплопроводность - такого удалось добиться впервые за всю исто...

На этой неделе закончилась научная конференция ACM CHI 2016, проходившая в американском городе Сан-Хосе с 7 по 12 мая.Наряду с деятелями науки в конференции также участвовали представители корпораций и стартапов, занимающихся современными высокотехнологичными разработками. Группа ученых, возглавляемая профессором Майком Фрейзером (Mike Fraser) и доктором Энн Рудо (Anne Roudaut), представила шесть докладов. Доклады были посвящены вопросам применения новых технологий в будущем и способах взаимодействия с ними. В частности, были затронуты следующие темы: PowerShake - способ зарядки мобильных устройств Время работы современных мобильных устройств ограничено емкостью аккумуляторных батарей. Обычно одного заряда батареи хватает примерно на де...

Канадские ученые разработали первый в мире голографический гибкий смартфон. У этого устройства гнущийся дисплей: для того чтобы рассмотреть 3D-объект под разными углами, нужно просто менять изгиб экрана. Подобный эффект (имеется в виду объемное изображение) есть у Amazon Fire Phone, но новый смартфон – это нечто совершенно другое. Устройство получило название “Holoflex”. Для работы с ним не потребуются специальные пластиковые очки, которые обычно раздают в кинотеатрах перед просмотром 3D-фильма. Также в нем нет датчика слежения за положением головы пользователя, как в новых портативных игровых системах Nintendo 3DS. Смартфон Holoflex оснащен светодиодным гибким Full HD-дисплеем с разрешением 1920 x 1080 пикселей. Верхний слой экрана состо...

Компания IBM официально объявила о том, что один из ее сверхпроводящих квантовых процессоров стал доступен через облачный сервис. Все те, кому не терпится опробовать данную инновацию на практике, получат возможность ознакомиться с ней, используя специально разработанную компьютерную платформу. Эта платформа установлена на удаленном оборудовании, "запечатанном" внутри холодильной машины, работающей на смеси криогенных веществ. Дело в том, что квантовый компьютер требует охлаждения до строго определенной температуры, составляющей долю градуса выше абсолютного нуля. Удивительно, но пятикубитовый процессор не позволит вам мгновенно раскладывать на множители большие числа, чтобы, к примеру, взломать криптографическую защиту. На самом деле для к...

Контактные линзы с крошечными встроенными камерами запатентовали компании Google и Samsung. Появление данной технологии в повседневной жизни уже кажется неизбежным. Скоро люди начнут общаться между собой по-новому. Единственное, что волнует большинство пользователей в этой связи - это вопрос, улучшат или ухудшат технические средства качество человеческого общения. Недалек тот день, когда мы сможем записывать на видео наши разговоры с членами семьи и друзьями. Кому-то такие записи помогут доказать свою правоту в споре, а кто-то сможет раз за разом пересматривать приятные или важные моменты своей жизни. Несмотря на то, что данной технологией можно будет пользоваться в корыстных целях, в целом, наличие так называемых "умных глаз" невероятным ...