ИИ-агент Google DeepMind решил 9 задач Эрдёша с помощью нескольких моделей и Lean
Google DeepMind показала систему AlphaProof Nexus, которая ищет формальные доказательства математических утверждений и проверяет их в языке Lean. В тестах на открытых задачах агент решил 9 из 353 задач, связанных с Эрдёшем, а также 44 из 492 гипотез OEIS.
Система работает через строгую машинную проверку: если в доказательстве есть ошибка, поиск продолжается. При этом успехи пока заметны в областях с уже развитой библиотекой формализованных результатов.
@forgeeks | @forgeeksflash
Google DeepMind показала систему AlphaProof Nexus, которая ищет формальные доказательства математических утверждений и проверяет их в языке Lean. В тестах на открытых задачах агент решил 9 из 353 задач, связанных с Эрдёшем, а также 44 из 492 гипотез OEIS.
Система работает через строгую машинную проверку: если в доказательстве есть ошибка, поиск продолжается. При этом успехи пока заметны в областях с уже развитой библиотекой формализованных результатов.
@forgeeks | @forgeeksflash
Покупателей iPhone Duo могут отговаривать от визита в магазины 23 октября
Некоторым сотрудникам розничных магазинов Apple сообщили, что в день старта продаж iPhone Duo устройства может не хватить для покупателей без предзаказа. Персоналу рекомендуют предупреждать таких клиентов, что им могут не продать смартфон в магазине. При этом официально Apple пока не уточняла, будут ли продажи без предварительного заказа доступны везде.
Дефицит проявился ещё до релиза: сроки доставки в онлайн-магазине уже сдвинулись на январь, а спрос компания назвала необычайным. Стоимость iPhone Duo в США начинается от $1 999, а первые предзаказы должны быть доставлены 23 октября.
@forgeeks | @forgeeksflash
Некоторым сотрудникам розничных магазинов Apple сообщили, что в день старта продаж iPhone Duo устройства может не хватить для покупателей без предзаказа. Персоналу рекомендуют предупреждать таких клиентов, что им могут не продать смартфон в магазине. При этом официально Apple пока не уточняла, будут ли продажи без предварительного заказа доступны везде.
Дефицит проявился ещё до релиза: сроки доставки в онлайн-магазине уже сдвинулись на январь, а спрос компания назвала необычайным. Стоимость iPhone Duo в США начинается от $1 999, а первые предзаказы должны быть доставлены 23 октября.
@forgeeks | @forgeeksflash
GPT-6-Astra почти решила все задачи по теоретической физике в новом тесте
В новом тесте TheoPhysEval модели ИИ решали 50 задач из теоретической физики без подсказок человека. GPT-6-Astra показала лучший результат: 49 из 50 с доступом к интернету и 46 из 50 без веб-поиска. Авторы отмечают, что даже ведущие модели пока спотыкаются на формулировке нестандартных научных задач и выводе закономерностей из неточных данных.
@forgeeks | @forgeeksflash
В новом тесте TheoPhysEval модели ИИ решали 50 задач из теоретической физики без подсказок человека. GPT-6-Astra показала лучший результат: 49 из 50 с доступом к интернету и 46 из 50 без веб-поиска. Авторы отмечают, что даже ведущие модели пока спотыкаются на формулировке нестандартных научных задач и выводе закономерностей из неточных данных.
@forgeeks | @forgeeksflash
Samsung завершит обновления ОС для пяти Galaxy Tab S9 в 2026 году
В 2026 году последнее крупное обновление Android получат Galaxy Tab S9, S9+, S9 Ultra, S9 FE и S9 FE+. После этого планшеты продолжат получать только патчи безопасности ещё примерно до 2028 года.
Также стало известно, что Galaxy Tab S8, S8+ и S8 Ultra уже достигли финальной версии ОС, а Galaxy Tab A9 и A9+ больше не получат крупных обновлений. При этом новые серии Galaxy Tab S10, S11, S12 и даже бюджетные Tab A11 и A11+ обещаны с семилетней программной поддержкой.
@forgeeks | @forgeeksflash
В 2026 году последнее крупное обновление Android получат Galaxy Tab S9, S9+, S9 Ultra, S9 FE и S9 FE+. После этого планшеты продолжат получать только патчи безопасности ещё примерно до 2028 года.
Также стало известно, что Galaxy Tab S8, S8+ и S8 Ultra уже достигли финальной версии ОС, а Galaxy Tab A9 и A9+ больше не получат крупных обновлений. При этом новые серии Galaxy Tab S10, S11, S12 и даже бюджетные Tab A11 и A11+ обещаны с семилетней программной поддержкой.
@forgeeks | @forgeeksflash
Альтман: главное в гуманоидном роботе — не внешний вид, а интеллект
OpenAI, по словам Сэма Альтмана, рассчитывает показать собственного гуманоидного робота уже в 2027 году. Глава компании считает, что важнее всего не форма устройства, а «мозг», который позволит ему понимать окружение, двигаться и выполнять задачи в человеческой среде.
Сейчас OpenAI набирает специалистов по робототехнике и строит инфраструктуру для обучения физических систем. В перспективе компания хочет создать не только роботов для специалистов, но и персонального помощника для более широкого круга задач.
@forgeeks | @forgeeksflash
OpenAI, по словам Сэма Альтмана, рассчитывает показать собственного гуманоидного робота уже в 2027 году. Глава компании считает, что важнее всего не форма устройства, а «мозг», который позволит ему понимать окружение, двигаться и выполнять задачи в человеческой среде.
Сейчас OpenAI набирает специалистов по робототехнике и строит инфраструктуру для обучения физических систем. В перспективе компания хочет создать не только роботов для специалистов, но и персонального помощника для более широкого круга задач.
@forgeeks | @forgeeksflash
ИИ проверили на воспроизведение научных результатов — и он совпал с оригиналом лишь раз из 12
Исследователи проверили, может ли ИИ точно воспроизводить научные расчёты по статье, и получили 12 разных вариантов анализа одного набора данных. Разброс результатов оказался заметным: оценки пространственного масштаба варьировались от 2,16 до 3,53 килопарсека, а совпадение с опубликованным числом получилось только один раз.
Авторы отмечают, что совпадение само по себе не доказывает правильность рассуждений, а расхождение не всегда означает ошибку в статье. Поэтому они предлагают оценивать ИИ-системы не только по итоговому числу, но и по всему процессу воспроизведения — от выбора данных до настройки методики и проверки результата.
@forgeeks | @forgeeksflash
Исследователи проверили, может ли ИИ точно воспроизводить научные расчёты по статье, и получили 12 разных вариантов анализа одного набора данных. Разброс результатов оказался заметным: оценки пространственного масштаба варьировались от 2,16 до 3,53 килопарсека, а совпадение с опубликованным числом получилось только один раз.
Авторы отмечают, что совпадение само по себе не доказывает правильность рассуждений, а расхождение не всегда означает ошибку в статье. Поэтому они предлагают оценивать ИИ-системы не только по итоговому числу, но и по всему процессу воспроизведения — от выбора данных до настройки методики и проверки результата.
@forgeeks | @forgeeksflash
20 лет наблюдений «Хаббла» указали на каменное ядро Хаумеа
Астрономы использовали данные «Хаббла» о движении спутников Хаумеа, чтобы оценить её массу и особенности гравитационного поля. В сочетании с наблюдениями покрытий звёзд это позволило сделать вывод о каменном ядре и богатой льдом оболочке карликовой планеты. При этом исследование не подтвердило наличие океана внутри Хаумеа, а для более точных выводов нужны новые наблюдения.
@forgeeks | @forgeeksflash
Астрономы использовали данные «Хаббла» о движении спутников Хаумеа, чтобы оценить её массу и особенности гравитационного поля. В сочетании с наблюдениями покрытий звёзд это позволило сделать вывод о каменном ядре и богатой льдом оболочке карликовой планеты. При этом исследование не подтвердило наличие океана внутри Хаумеа, а для более точных выводов нужны новые наблюдения.
@forgeeks | @forgeeksflash
ИИ-агенты 30 часов жили на виртуальном острове и сами придумывали себе занятия
Исследователи дали 13 агентам доступ к небольшому виртуальному острову без цели, награды и заданий. За 30-часовые сессии они строили из блоков, исследовали рельеф, рисовали мандалы, придумывали спортивные правила и даже записывали удачные приёмы, чтобы использовать их позже.
Авторы называют такое поведение похожим на игру, но подчёркивают: это не доказывает наличие сознания, удовольствия или общей автономии. Работа вышла в виде препринта, а её результаты относятся только к ограниченной симуляции и не подтверждают надёжность агента в реальных задачах.
@forgeeks | @forgeeksflash
Исследователи дали 13 агентам доступ к небольшому виртуальному острову без цели, награды и заданий. За 30-часовые сессии они строили из блоков, исследовали рельеф, рисовали мандалы, придумывали спортивные правила и даже записывали удачные приёмы, чтобы использовать их позже.
Авторы называют такое поведение похожим на игру, но подчёркивают: это не доказывает наличие сознания, удовольствия или общей автономии. Работа вышла в виде препринта, а её результаты относятся только к ограниченной симуляции и не подтверждают надёжность агента в реальных задачах.
@forgeeks | @forgeeksflash
CERN и Mistral создадут ИИ-модель для физики высоких энергий
CERN и Mistral запускают проект Large Physics Model — единую ИИ-модель, которую обучат на миллиардах смоделированных столкновений протонов Большого адронного коллайдера. Она должна помогать физикам восстанавливать картину столкновений, определять частицы и находить необычные сигналы на разных этапах анализа данных.
В CERN рассчитывают, что такой подход ускорит работу с будущими потоками данных, особенно после запуска HL-LHC, когда число столкновений вырастет примерно в десять раз. При этом бюджет и сроки проекта пока не раскрываются.
@forgeeks | @forgeeksflash
CERN и Mistral запускают проект Large Physics Model — единую ИИ-модель, которую обучат на миллиардах смоделированных столкновений протонов Большого адронного коллайдера. Она должна помогать физикам восстанавливать картину столкновений, определять частицы и находить необычные сигналы на разных этапах анализа данных.
В CERN рассчитывают, что такой подход ускорит работу с будущими потоками данных, особенно после запуска HL-LHC, когда число столкновений вырастет примерно в десять раз. При этом бюджет и сроки проекта пока не раскрываются.
@forgeeks | @forgeeksflash
SK hynix показала модуль памяти 256 ГБ для ИИ-серверов
SK hynix представила на конференции OCP 2026 сразу несколько решений для ИИ-инфраструктуры: модуль памяти CMM-DDR5 второго поколения, стоечную систему MARS и вычислительную память CMM-Ax. Главная новинка — CMM-DDR5 объёмом 256 ГБ с пропускной способностью до 80 ГБ/с, которая рассчитана на общий пул памяти и ускорение работы серверов с ИИ-нагрузками.
Компания также показала сценарии совместного использования данных для ИИ-агентов и систем с длинным контекстом, где память помогает снизить задержки и разгрузить графические ускорители. Сроки выхода новинок и их стоимость пока не раскрываются.
@forgeeks | @forgeeksflash
SK hynix представила на конференции OCP 2026 сразу несколько решений для ИИ-инфраструктуры: модуль памяти CMM-DDR5 второго поколения, стоечную систему MARS и вычислительную память CMM-Ax. Главная новинка — CMM-DDR5 объёмом 256 ГБ с пропускной способностью до 80 ГБ/с, которая рассчитана на общий пул памяти и ускорение работы серверов с ИИ-нагрузками.
Компания также показала сценарии совместного использования данных для ИИ-агентов и систем с длинным контекстом, где память помогает снизить задержки и разгрузить графические ускорители. Сроки выхода новинок и их стоимость пока не раскрываются.
@forgeeks | @forgeeksflash
ISRO проверила разделение модулей корабля Gaganyaan перед полётом
ISRO провела испытание, которое имитировало отделение спускаемого модуля от служебного и разрыв кабельных и трубопроводных соединений между ними. Проверка подтвердила работу системы разделения и устойчивость ключевых систем к ударным нагрузкам.
Тест стал важным этапом подготовки к первой беспилотной миссии Gaganyaan, запуск которой планируется в 2026 году.
@forgeeks | @forgeeksflash
ISRO провела испытание, которое имитировало отделение спускаемого модуля от служебного и разрыв кабельных и трубопроводных соединений между ними. Проверка подтвердила работу системы разделения и устойчивость ключевых систем к ударным нагрузкам.
Тест стал важным этапом подготовки к первой беспилотной миссии Gaganyaan, запуск которой планируется в 2026 году.
@forgeeks | @forgeeksflash
Хакеры атаковали космическую компанию Beyond Gravity
Швейцарская компания Beyond Gravity сообщила об утечке данных после кибератаки. Власти и сама компания расследуют инцидент, а в СМИ появилась версия, что за атакой может стоять Китай, хотя официально это не подтверждено.
Компания уже подала уголовную жалобу, а парламентский контрольный комитет проинформировали о случившемся. Эксперты отмечают, что космическая отрасль давно интересует спецслужбы, а даже небольшие данные могут быть важны для разведки.
@forgeeks | @forgeeksflash
Швейцарская компания Beyond Gravity сообщила об утечке данных после кибератаки. Власти и сама компания расследуют инцидент, а в СМИ появилась версия, что за атакой может стоять Китай, хотя официально это не подтверждено.
Компания уже подала уголовную жалобу, а парламентский контрольный комитет проинформировали о случившемся. Эксперты отмечают, что космическая отрасль давно интересует спецслужбы, а даже небольшие данные могут быть важны для разведки.
@forgeeks | @forgeeksflash
Хуанг призвал не обращать внимания на падение акций ИИ-компаний
Генеральный директор Nvidia Дженсен Хуанг считает, что просадка акций технологических компаний, связанных с ИИ, носит временный характер. По его словам, искусственный интеллект в итоге изменит почти каждую отрасль и страну, а текущие колебания не отменяют долгосрочного потенциала этой технологии.
Компаниям и инвесторам он советует не зацикливаться на краткосрочных новостях и смотреть на фундаментальные факторы. Хуанг уверен, что ИИ находится лишь в самом начале своего масштабного влияния на рынок и экономику.
@forgeeks | @forgeeksflash
Генеральный директор Nvidia Дженсен Хуанг считает, что просадка акций технологических компаний, связанных с ИИ, носит временный характер. По его словам, искусственный интеллект в итоге изменит почти каждую отрасль и страну, а текущие колебания не отменяют долгосрочного потенциала этой технологии.
Компаниям и инвесторам он советует не зацикливаться на краткосрочных новостях и смотреть на фундаментальные факторы. Хуанг уверен, что ИИ находится лишь в самом начале своего масштабного влияния на рынок и экономику.
@forgeeks | @forgeeksflash
Нейросеть EasyResNet помогает искать гравитационные сигналы точнее и быстрее
Исследователи представили EasyResNet — нейросеть, которая дополняет классическую согласованную фильтрацию при поиске гравитационных волн. Она помогает лучше распознавать слабые сигналы на фоне шума и глитчей, особенно когда реальные данные не полностью совпадают с шаблонами.
В симуляциях система показала эффективность на уровне стандартных методов или даже выше, а обработка одной карты заняла около 3 миллисекунд на обычном CPU. Пока это лишь проверка концепции, и авторы планируют протестировать подход на реальных данных детекторов LIGO, Virgo и KAGRA.
@forgeeks | @forgeeksflash
Исследователи представили EasyResNet — нейросеть, которая дополняет классическую согласованную фильтрацию при поиске гравитационных волн. Она помогает лучше распознавать слабые сигналы на фоне шума и глитчей, особенно когда реальные данные не полностью совпадают с шаблонами.
В симуляциях система показала эффективность на уровне стандартных методов или даже выше, а обработка одной карты заняла около 3 миллисекунд на обычном CPU. Пока это лишь проверка концепции, и авторы планируют протестировать подход на реальных данных детекторов LIGO, Virgo и KAGRA.
@forgeeks | @forgeeksflash
DDoS-атака нарушила работу двух интернет-провайдеров Петербурга
Провайдер «П.А.К.Т.» сообщил об атаке на серверное оборудование, из-за чего у части абонентов могут быть перебои с интернетом и доступом в личный кабинет. О проблемах также предупредил оператор «еТелеком». Компании рассчитывают восстановить работу сервисов в ближайшее время, но точные сроки не называют.
@forgeeks | @forgeeksflash
Провайдер «П.А.К.Т.» сообщил об атаке на серверное оборудование, из-за чего у части абонентов могут быть перебои с интернетом и доступом в личный кабинет. О проблемах также предупредил оператор «еТелеком». Компании рассчитывают восстановить работу сервисов в ближайшее время, но точные сроки не называют.
@forgeeks | @forgeeksflash
iQOO раскрыла детали Neo12: батарея, экран и мощный чип
iQOO поделилась новыми подробностями о Neo12: смартфон получит 2K-дисплей с частотой 185 Гц, пиковой яркостью до 2200 нит и отдельным чипом управления экраном. Также заявлены сверхчувствительный сенсорный чип, игровая система Q3 и батарея Blue Ocean на 9000 мА·ч. Анонс ожидается в конце месяца, но цена и точная дата выхода пока не названы.
@forgeeks | @forgeeksflash
iQOO поделилась новыми подробностями о Neo12: смартфон получит 2K-дисплей с частотой 185 Гц, пиковой яркостью до 2200 нит и отдельным чипом управления экраном. Также заявлены сверхчувствительный сенсорный чип, игровая система Q3 и батарея Blue Ocean на 9000 мА·ч. Анонс ожидается в конце месяца, но цена и точная дата выхода пока не названы.
@forgeeks | @forgeeksflash
Смартфонам Huawei Starlight приписывают чипы Kirin 8-й и 9-й серий
Huawei, по данным инсайдера, готовит новый бренд Starlight (Xingmang) для среднебюджетных смартфонов с упором на производительность. В линейке могут появиться модели на процессорах Kirin 8-й и 9-й серий, включая устройство со встроенным вентилятором для активного охлаждения.
@forgeeks | @forgeeksflash
Huawei, по данным инсайдера, готовит новый бренд Starlight (Xingmang) для среднебюджетных смартфонов с упором на производительность. В линейке могут появиться модели на процессорах Kirin 8-й и 9-й серий, включая устройство со встроенным вентилятором для активного охлаждения.
@forgeeks | @forgeeksflash
Взломанная PlayStation 5 запустила ИИ-модель на 27 млрд параметров
На взломанной PlayStation 5 показали работу PS5LM Plus — экспериментального приложения для запуска языковых моделей прямо на консоли. В новой версии нагрузка перенесена на графический процессор, что заметно увеличило доступный объём памяти и позволило запускать более крупные модели.
В тестах Qwen 3.8 с 27 млрд параметров работала со скоростью 20,9 токена в секунду, а более лёгкие модели выдавали ещё более высокие значения. Приложение поддерживает GGUF-модели, локальный веб-интерфейс и API для работы по сети, но требует взломанной PS5 и несёт риски блокировки.
@forgeeks | @forgeeksflash
На взломанной PlayStation 5 показали работу PS5LM Plus — экспериментального приложения для запуска языковых моделей прямо на консоли. В новой версии нагрузка перенесена на графический процессор, что заметно увеличило доступный объём памяти и позволило запускать более крупные модели.
В тестах Qwen 3.8 с 27 млрд параметров работала со скоростью 20,9 токена в секунду, а более лёгкие модели выдавали ещё более высокие значения. Приложение поддерживает GGUF-модели, локальный веб-интерфейс и API для работы по сети, но требует взломанной PS5 и несёт риски блокировки.
@forgeeks | @forgeeksflash
Новая сеть U6GHz в Гонконге может ускорить загрузку до 3 Гбит/с
В Гонконге China Mobile получила непрерывный участок спектра шириной 100 МГц в диапазонах 6 и 7 ГГц — впервые в мире этот ресурс выставили на аукцион для мобильной связи. Компания уже говорит о скорости загрузки свыше 3 Гбит/с за счёт агрегации спектра.
Дополнительный диапазон должен повысить пропускную способность сети, улучшить связь в местах скопления людей и ускорить передачу видео в высоком разрешении. U6GHz рассматривают как важный ресурс для развития 5G-Advanced и будущих сетей 6G.
@forgeeks | @forgeeksflash
В Гонконге China Mobile получила непрерывный участок спектра шириной 100 МГц в диапазонах 6 и 7 ГГц — впервые в мире этот ресурс выставили на аукцион для мобильной связи. Компания уже говорит о скорости загрузки свыше 3 Гбит/с за счёт агрегации спектра.
Дополнительный диапазон должен повысить пропускную способность сети, улучшить связь в местах скопления людей и ускорить передачу видео в высоком разрешении. U6GHz рассматривают как важный ресурс для развития 5G-Advanced и будущих сетей 6G.
@forgeeks | @forgeeksflash
Acer выпустила мини-ПК Swift Go с Ryzen 7 в корпусе 0,7 л
Acer обновила мини-ПК Swift Go: теперь он получил Ryzen 7 8745H, 16 ГБ ОЗУ и SSD на 512 ГБ. Новая версия заметно мощнее прошлой модели с Intel N150, а ещё поддерживает апгрейд памяти до 64 ГБ и накопителей до 2 ТБ.
Компьютер оснащён HDMI 2.1, DisplayPort 1.4, USB-C, двумя Ethernet 2,5 Гбит/с и Wi-Fi 6E. В Китае новинка уже продаётся примерно за 5000 юаней.
@forgeeks | @forgeeksflash
Acer обновила мини-ПК Swift Go: теперь он получил Ryzen 7 8745H, 16 ГБ ОЗУ и SSD на 512 ГБ. Новая версия заметно мощнее прошлой модели с Intel N150, а ещё поддерживает апгрейд памяти до 64 ГБ и накопителей до 2 ТБ.
Компьютер оснащён HDMI 2.1, DisplayPort 1.4, USB-C, двумя Ethernet 2,5 Гбит/с и Wi-Fi 6E. В Китае новинка уже продаётся примерно за 5000 юаней.
@forgeeks | @forgeeksflash
Doogee показала широкий смартфон Note60 W с Android 17
Doogee представила Note60 W с широким 6,38-дюймовым экраном 90 Гц, аккумулятором на 6500 мА·ч и корпусом толщиной около 8,4 мм. По дизайну новинка заметно напоминает Huawei Pura X View, особенно сзади, но пока компания не раскрыла тип дисплея, чипсет, память, камеры и цену. Смартфон сразу работает на Android 17.
@forgeeks | @forgeeksflash
Doogee представила Note60 W с широким 6,38-дюймовым экраном 90 Гц, аккумулятором на 6500 мА·ч и корпусом толщиной около 8,4 мм. По дизайну новинка заметно напоминает Huawei Pura X View, особенно сзади, но пока компания не раскрыла тип дисплея, чипсет, память, камеры и цену. Смартфон сразу работает на Android 17.
@forgeeks | @forgeeksflash