SE7EN

Перспективные системы смогут верифицировать корректность ИИ-кода Знаковым достижением в области математических изысканий с применением искусственного интеллекта стал недавний кейс команды Axiom Math. Разработчики впервые в автоматическом режиме подтвердили валидность доказательства фундаментальной теоремы о простых числах — в обиходе именуемой «теоремой 246» — задействовав собственную нейросетевую разработку AxiomProver. Суть машинной верификации сводится к тому, что математики делегируют компьютеру проверку алгоритмически читаемого вывода. Хотя...

Компания ASRock расширила линейку доступных материнских плат под разъём AM4. Модель B550M Pro-A WiFi 6E ещё не получила официального ценника, однако её спецификации явно указывают на бюджетный статус устройства. Новинка базируется на системной логике B550. Плата выполнена в компактном форм-факторе Micro-ATX и оборудована четырьмя разъемами для модулей оперативной памяти DDR4, а также парой слотов PCIe...

Китайский производитель ChangXin Memory Technologies (CXMT) запустил тестовый выпуск памяти HBM3E, которая пользуется колоссальным спросом в сфере искусственного интеллекта и высокопроизводительных вычислений. В случае успешного завершения этого этапа, коммерческое производство может стартовать уже в ближайшее время. Изображение сгенерировано Gemini // Источник изображения: Gemini Предсерийный выпуск нацелен на оценку стабильности техпроцесса, процента выхода годных чипов, корректности...

Команда CD Projekt Red учла горький опыт релиза Cyberpunk 2077 и намерена избежать подобных промахов с выходом The Witcher 4. По заверениям создателей, теперь особое внимание уделяется непрерывному мониторингу производительности проекта на каждой из целевых консолей на всех этапах производства. Источник изображения: The Witcher 4 В недавней беседе с прессой соруководитель компании Михал Новаковски признался,...

Новейший видеодрайвер Nvidia GeForce Game Ready 616.56, который значительно ускоряет работу графических адаптеров вне игровых приложений, омрачен неприятным багом: у части пользователей после инсталляции обновления начали мерцать дисплеи. Как выяснилось, неприятность поддается устранению. Артефакты наблюдаются на экранах, функционирующих в 8-битном режиме, тогда как принудительное переключение на 10-битную глубину цвета полностью решает вопрос. К сожалению, эта...

Корпорация Sony порадовала обладателей консолей PlayStation 5 приятным бонусом: теперь пользователи могут абсолютно бесплатно транслировать фильмы, сериалы и прочие медиаматериалы через сервис Live TV. Правда, на данном этапе предложение актуально только для американского региона. Весь видеоархив предоставляется на безвозмездной основе, однако предусмотрена демонстрация рекламных блоков. Пользователям открыт доступ более чем к 100 эфирным телеканалам и...

Состоялся релиз Captain Tsubasa 2: World Fighters, а средняя оценка игры на агрегаторе Metacritic выросла до 76% по сравнению с 72% у первой части. Футбольные игры существуют почти с самого зарождения индустрии. Компания Bandai Namco предложила необычный подход в Captain Tsubasa. Проект объединял футбол с элементами RPG и напоминал Inazuma Eleven, но обладал собственной механикой....

Привет, SE7EN! Судя по медийной повестке, до эры беспилотников осталось буквально мгновение: Waymo масштабирует флот роботакси в Штатах, Baidu под брендом Apollo Go перевозит пассажиров в десятках китайских мегаполисов, а Volvo совместно с Einride выводят автономные фуры на межгосударственные трассы. Пилотные запуски идут непрерывно, показатели безопасности улучшаются, а венчурные фонды вливают в индустрию миллиарды. Тем...

Совместная творческая инициатива портала Film.ru и Московской школы кино подошла к своему логическому финалу. Призовой фонд включал обучение на профильном курсе «Практическая кинокритика», возможность публикации материала на страницах нашего издания, приглашения на эксклюзивные кинопоказы, персональный разбор эссе от куратора Владимира Лященко, а также фирменную сувенирную продукцию МШК. На творческое состязание поступило свыше сотни заявок. Авторам...

Пара слов о концепции «Код как борьба». Мы не ставим целью публиковать исчерпывающие биографии — о каждом ключевом персонаже этого цикла написаны фундаментальные труды, и одна статья не заменит целую книгу. Избежим мы и излишне сухого технического погружения. Вместо этого мы проследим, как одна мысль плавно перетекает в другую, напоминая эстафетную палочку, которую поколения исследователей...

Организаторы бойкота PlayStation призывают самых преданных участников продолжать не пользоваться PS5, несмотря на официальное завершение акции. Они требуют, чтобы Sony изменила позицию по физическим изданиям игр. Компания Sony никак не отреагировала на протест пользователей. Акция проходила с 23 августа по 30 августа и завершилась в 19:00 по местному времени. Участников призывали отказаться от включения PS5,...

Выход патча 1.4.2.5 для Battlefield 6 запланирован на 1 сентября. Он принесет с собой важные исправления, повышающие удобство игры и общую стабильность как в самой Battlefield 6, так и в REDSEC. Этот небольшой апдейт устраняет ряд недочетов, обнаруженных после релиза версии 1.4.2.0, улучшая динамику матчей, стабильность работы пользовательских лобби, отклик интерфейса и общую производительность. Главные...

Привет, дальнобойщики! 👋 Август принес массу захватывающих новостей о наших симуляторах грузовиков! Релиз следующего дополнения с грузовиками Mercedes-Benz для SnowRunner уже совсем близко, а дата выхода Road Kings наконец-то официально объявлена! Давайте разберем все по порядку! ROAD KINGS ВАШ СЛЕДУЮЩИЙ РЕЙС НАЧНЕТСЯ 11 МАРТА 🛣️ В этом месяце на выставке Gamescom мы объявили, что Road...

В сети зафиксирован очередной эпизод обмана при приобретении премиальной графической платы на популярной торговой площадке. Участник сообщества Reddit с ником BransonArsen приобрел на Amazon видеокарту MSI GeForce RTX 5080 16G Suprim Liquid SOC за 1390 долларов, однако вместо нее в посылке оказалась дорожная термокружка. Источник изображения: Reddit/BransonArsen Сделку оформляли через независимого вендора, а не напрямую...