Исследование ETH Zurich и INSAIT: ИИ не справляется с математическими доказательствами на USAMO 2025

Исследование ETH Zurich и INSAIT: ИИ не справляется с математическими доказательствами на USAMO 2025

Учёные уличили ИИ в неспособности строить математические доказательства в олимпиадных задачах USAMO 2025 года

Новое исследование, проведённое специалистами из ETH Zurich и INSAIT, пролило свет на ограничения современных ИИ-моделей в области математического мышления. Результаты показали, что ИИ, хотя и способен решать стандартные математические задачи, испытывает значительные трудности при формулировании полных доказательств на уровне Математической олимпиады США 2025 года (USAMO).

Математическая олимпиада США (USAMO) известна своими сложными и требовательными задачами, которые проверяют не только знания, но и способность к глубокому математическому рассуждению. Исследователи из ETH Zurich и INSAIT протестировали несколько современных ИИ-моделей на задачах из USAMO 2025 года, чтобы оценить их способность к формулированию полных и корректных доказательств.

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

Исследование подчёркивает, что, несмотря на значительные успехи в области искусственного интеллекта, существуют области, где человеческий интеллект пока остаётся непревзойдённым. Математическое доказательство требует не только знаний и навыков, но и креативности, интуиции и способности к абстрактному мышлению, которые пока недоступны для современных ИИ-моделей.

Эти результаты важны для понимания ограничений текущих технологий и для направления дальнейших исследований в области искусственного интеллекта. Учёные надеются, что в будущем разработка новых алгоритмов и моделей позволит ИИ преодолеть эти барьеры и достичь более высокого уровня математического мышления.

Источник изображения: Imkara Visual / Unsplash


Подпишитесь на новости в телеграм: https://t.me/itnewsros

«Эксперты обнаружили уязвимость Policy Puppetry в популярных моделях генеративного ИИ»

Все популярные модели генеративного ИИ оказалось легко взломать по схеме Policy Puppetry

В последние годы генеративные модели искусственного интеллекта (ИИ) стали неотъемлемой частью нашей повседневной жизни. Они используются в различных сферах, от создания контента до разработки новых продуктов. Однако, как выяснилось, эти модели не так безопасны, как кажется на первый взгляд. Эксперты компании HiddenLayer, специализирующейся на вопросах безопасности ИИ, обнаружили уязвимость, которая позволяет взламывать крупнейшие и наиболее популярные системы генеративного ИИ.

Техника, получившая название Policy Puppetry, представляет собой универсальный метод составления запросов к моделям генеративного ИИ. Эта методика позволяет злоумышленникам обходить защитные механизмы и получать доступ к конфиденциальной информации или манипулировать результатами генерации.

По словам специалистов HiddenLayer, Policy Puppetry может быть использована для атак на широкий спектр моделей генеративного ИИ, включая те, которые используются в крупных корпорациях и государственных учреждениях. Это открывает новые риски для безопасности данных и конфиденциальности пользователей.

Проблема заключается в том, что многие разработчики генеративных моделей ИИ не учитывают все возможные сценарии атак при проектировании своих систем. В результате, даже самые современные и продвинутые модели могут быть уязвимы для таких методов, как Policy Puppetry.

Эксперты HiddenLayer рекомендуют разработчикам и пользователям генеративных моделей ИИ уделять больше внимания вопросам безопасности. Это включает в себя регулярное обновление систем, проведение аудитов безопасности и использование дополнительных мер защиты, таких как шифрование данных и аутентификация пользователей.

В заключение, открытие уязвимости Policy Puppetry подчеркивает важность комплексного подхода к безопасности генеративных моделей ИИ. Только так можно обеспечить защиту данных и предотвратить возможные атаки злоумышленников.

Источник изображения: hiddenlayer.com


Подпишитесь на новости в телеграм: https://t.me/itnewsros

Раскрыты все характеристики iQOO Z10 Turbo Pro: 7000 мАч, 120 Вт, Snapdragon 8s Gen4 и немерцающий экран

Раскрыты все характеристики iQOO Z10 Turbo Pro: 7000 мАч, 120 Вт, Snapdragon 8s Gen4 и немерцающий экран

7000 мАч, 120 Вт, Snapdragon 8s Gen4, немерцающий экран: Раскрыты все характеристики iQOO Z10 Turbo Pro — главного конкурента Redmi Turbo 4 Pro

Инсайдер, известный под ником Digital Chat Station, поделился подробностями о предстоящем смартфоне iQOO Z10 Turbo Pro, премьера которого намечена на 28 апреля. Эта модель обещает стать серьёзным конкурентом недавно представленному Redmi Turbo 4 Pro, так как оба устройства оснащены одним и тем же процессором — Snapdragon 8s Gen4.

Основные характеристики iQOO Z10 Turbo Pro

Дисплей: iQOO Z10 Turbo Pro получит немерцающий IPS-экран с частотой регулировки ШИМ 4320 Гц. Разрешение дисплея составит 1,5К, а частота обновления — 144 Гц. Это обеспечит плавную работу интерфейса и высокое качество изображения.

Аккумулятор и зарядка: Емкость аккумулятора составит впечатляющие 7000 мАч, что гарантирует длительное время автономной работы. Поддержка быстрой зарядки мощностью 120 Вт позволит быстро восполнять заряд батареи.

Производительность и охлаждение: Смартфон будет оснащен процессором Snapdragon 8s Gen4, что обеспечит высокую производительность и эффективность. Для поддержания оптимальной температуры устройство получит большую систему охлаждения с испарительной камерой площадью 7000 мм².

Дополнительные характеристики: iQOO Z10 Turbo Pro оснащен стереодинамиками для качественного звука, оптическим подэкранным сканером отпечатков пальцев для безопасности и удобства, а также пластиковой рамкой. Масса устройства составит 206 граммов.

Модель iQOO Z10 Turbo

Помимо Z10 Turbo Pro, компания также представит модель Z10 Turbo. Этот смартфон будет оснащен процессором Dimensity 8400 и аккумулятором емкостью 7620 мАч с поддержкой 90-ваттной зарядки. Масса этого устройства составит 212 граммов.

Заключение

iQOO Z10 Turbo Pro обещает стать мощным и функциональным смартфоном, способным конкурировать с Redmi Turbo 4 Pro. Высокая производительность, впечатляющая емкость аккумулятора и передовые технологии охлаждения делают это устройство привлекательным для пользователей, ищущих надежный и производительный гаджет.

* Компания Meta (Facebook и Instagram) признана в России экстремистской и запрещена.


Подпишитесь на новости в телеграм: https://t.me/itnewsros

xAI Holdings Илона Маска может привлечь $20 миллиардов для развития ИИ и социальных медиа

xAI Holdings Илона Маска может привлечь $20 миллиардов для развития ИИ и социальных медиа

Musk’s xAI Holdings может привлечь второй по величине раунд частного финансирования в истории

Компания xAI Holdings, принадлежащая Илону Маску, ведет переговоры о привлечении $20 миллиардов нового финансирования, что может оценить комбинацию искусственного интеллекта и социальных медиа в более чем $120 миллиардов. Об этом сообщает Bloomberg, отмечая, что переговоры находятся на ранней стадии. Если сделка состоится, она станет второй по величине в истории стартапов, уступая только OpenAI.

Новый этап в развитии xAI Holdings

xAI Holdings, основанная Илоном Маском, стремится стать лидером в области искусственного интеллекта и социальных медиа. Компания уже привлекла значительное внимание инвесторов благодаря своим амбициозным планам и инновационным подходам. Новый раунд финансирования позволит xAI Holdings значительно расширить свои возможности и укрепить позиции на рынке.

Рекордные инвестиции в стартапы

Если xAI Holdings успешно привлечет $20 миллиардов, это станет вторым по величине раундом финансирования в истории стартапов. Первое место по-прежнему занимает OpenAI, которая привлекла рекордные суммы инвестиций благодаря своим передовым разработкам в области искусственного интеллекта.

Будущее xAI Holdings

С новыми инвестициями xAI Holdings сможет ускорить разработку своих продуктов и услуг, а также расширить свое присутствие на международном рынке. Компания планирует интегрировать передовые технологии искусственного интеллекта в социальные медиа, создавая уникальные пользовательские опыты и открывая новые возможности для бизнеса.

Заключение

Привлечение $20 миллиардов станет важным шагом для xAI Holdings на пути к лидерству в области искусственного интеллекта и социальных медиа. Компания, основанная Илоном Маском, продолжает вдохновлять инвесторов и пользователей своими амбициозными планами и инновационными решениями.

* Компания Meta (Facebook и Instagram) признана в России экстремистской и запрещена.


Подпишитесь на новости в телеграм: https://t.me/itnewsros

«Intel анонсировала выпуск единственной модели Panther Lake в этом году»

В этом году успеет выйти единственная модель Intel Panther Lake

На квартальной отчётной конференции, прошедшей вчера, представители Intel сделали важное заявление касательно своих будущих процессоров. Компания сообщила, что процессоры линейки Panther Lake, которые будут производиться с использованием передовой технологии Intel 18A, в основном появятся на рынке только в следующем году. Это означает, что до конца текущего года будет выпущена лишь одна модель из этой серии.

Технология Intel 18A представляет собой значительный шаг вперёд в области микропроцессорных технологий. Она включает в себя использование новых материалов и архитектурных решений, которые позволяют значительно повысить производительность и энергоэффективность процессоров. Однако, как стало ясно из заявлений компании, полномасштабный запуск этой линейки процессоров требует дополнительного времени для окончательной доработки и тестирования.

Поклонники Intel и энтузиасты технологий с нетерпением ожидают появления новых процессоров Panther Lake, которые обещают стать значительным обновлением по сравнению с текущими моделями. Новая технология Intel 18A должна обеспечить не только улучшенную производительность, но и более высокую степень интеграции различных компонентов, что позволит создавать более компактные и энергоэффективные устройства.

Несмотря на то, что основная масса процессоров Panther Lake появится на рынке только в следующем году, Intel уже готовит почву для их успешного запуска. Компания активно работает над маркетинговыми стратегиями и партнёрскими программами, чтобы обеспечить широкое распространение и поддержку своих новых продуктов.

В заключение, можно отметить, что Intel продолжает оставаться одним из лидеров в области микропроцессорных технологий, и их новые разработки всегда вызывают большой интерес как у профессионалов, так и у широкой аудитории. Ожидается, что процессоры Panther Lake станут важным шагом вперёд для компании и принесут пользователям новые возможности и улучшенный опыт использования.

* Компания Meta (Facebook и Instagram) признана в России экстремистской и запрещена.


Подпишитесь на новости в телеграм: https://t.me/itnewsros

«Илон Маск готовится привлечь $20 млрд в холдинг xAI для развития искусственного интеллекта и социальной сети X»

Холдинг xAI Илона Маска готовится привлечь $20 млрд в свой капитал

Американский миллиардер Илон Маск, известный своими амбициозными проектами в области технологий и инноваций, снова оказался в центре внимания. Недавно он объединил социальную сеть X и основанный им стартап xAI в единую холдинговую структуру. Теперь, по данным агентства Bloomberg, Маск намерен привлечь около $20 млрд для финансирования этого нового холдинга.

Этот шаг не только укрепит позиции Маска на рынке, но и значительно повысит капитализацию холдинга. По оценкам экспертов, привлечение таких значительных инвестиций может увеличить капитализацию холдинга до $120 млрд. Это делает xAI одним из самых перспективных и быстрорастущих проектов в сфере технологий.

Социальная сеть X, ранее известная как Twitter, уже имеет миллионы пользователей по всему миру. Объединение с xAI, стартапом, специализирующимся на искусственном интеллекте, открывает новые горизонты для развития платформы. Илон Маск неоднократно подчеркивал важность инноваций и технологического прогресса, и этот шаг является логическим продолжением его стратегии.

Привлечение $20 млрд позволит холдингу активно развиваться и внедрять новые технологии. Это может включать улучшение алгоритмов искусственного интеллекта, разработку новых функций для социальной сети и инвестиции в исследования и разработки. В условиях жесткой конкуренции на рынке технологий, такие шаги могут стать решающими для успеха.

Илон Маск уже доказал свою способность превращать амбициозные идеи в реальность. Его компании, такие как Tesla и SpaceX, стали лидерами в своих отраслях. Теперь, с созданием холдинга xAI, Маск намерен занять лидирующие позиции и в области социальных сетей и искусственного интеллекта.

В заключение, привлечение $20 млрд в капитал холдинга xAI является важным шагом для Илона Маска и его команды. Это не только укрепит финансовую позицию холдинга, но и откроет новые возможности для развития и инноваций. Будущее xAI выглядит многообещающим, и мы с нетерпением ждем, какие новые достижения принесет этот проект.

* Компания Meta (Facebook и Instagram) признана в России экстремистской и запрещена.


Подпишитесь на новости в телеграм: https://t.me/itnewsros

Intel Увеличивает Долю Собственных Кристаллов в Производстве Процессоров Nova Lake

Intel Увеличивает Долю Собственных Кристаллов в Производстве Процессоров Nova Lake

Intel при производстве процессоров Nova Lake увеличит пропорцию обрабатываемых собственными силами кристаллов

Компания Intel, один из ведущих производителей процессоров в мире, недавно объявила о своих планах на будущее. В начале февраля этого года представители компании сообщили, что при производстве процессоров Nova Lake в следующем году будут использовать как кристаллы собственного производства, так и кристаллы, обрабатываемые силами тайваньской компании TSMC. Однако теперь руководство Intel уточняет, что доля собственной продукции в этом процессе значительно увеличится.

Процессоры Nova Lake являются одним из наиболее ожидаемых продуктов в линейке Intel. Компания стремится укрепить свои позиции на рынке, предлагая инновационные решения и высокое качество продукции. Использование собственных мощностей для обработки кристаллов позволит Intel лучше контролировать качество и сроки производства, что, в свою очередь, положительно скажется на конечном продукте.

Решение о комбинировании использования собственных кристаллов и кристаллов, произведенных TSMC, было принято с целью оптимизации производственного процесса и минимизации рисков. TSMC является одним из крупнейших производителей полупроводников в мире, и сотрудничество с этой компанией позволяет Intel обеспечить стабильное поступление кристаллов высокого качества.

Однако, несмотря на успешное сотрудничество с TSMC, Intel продолжает инвестировать в развитие собственных производственных мощностей. Компания стремится к тому, чтобы в будущем увеличить долю собственной продукции, что позволит ей быть более гибкой и независимой в процессе производства.

Таким образом, Intel делает важный шаг в направлении укрепления своих позиций на рынке процессоров. Увеличение доли собственной продукции в производстве процессоров Nova Lake позволит компании лучше контролировать качество и сроки производства, а также обеспечить стабильное поступление высококачественных кристаллов. Это решение подчеркивает стремление Intel к инновациям и лидерству в индустрии полупроводников.


Подпишитесь на новости в телеграм: https://t.me/itnewsros

MediaTek представила Dimensity C-X1: Первая автомобильная SoC с графикой Blackwell

MediaTek представила Dimensity C-X1: Первая автомобильная SoC с графикой Blackwell

Первая автомобильная SoC с графикой Blackwell: MediaTek представила «мощную ядерную бомбу» Dimensity C-X1

На Шанхайской международной выставке автомобильной промышленности 2025 (Automobile Shanghai 2025) компания MediaTek представила свою новую флагманскую автомобильную платформу Dimensity C-X1. Этот релиз ознаменовал выход на рынок автомобильных микросхем, где доминируют технологии искусственного интеллекта для интеграции кабины и салона с водителем.

Dimensity Auto Cockpit Platform C-X1: Новая эра автомобильных технологий

Dimensity Auto Cockpit Platform C-X1 стала первой SoC от MediaTek для автомобилей, оснащенной графикой Blackwell. Этот графический процессор обеспечивает улучшенную навигацию, голосовую помощь, безопасность и игровые возможности благодаря интеграции больших языковых моделей (LLM). Кроме того, он делает автомобили следующего поколения совместимыми с решением автономного вождения Drive AGX от Nvidia.

Инновационные технологии и архитектура

Dimensity C-X1 представляет собой современный 3-нанометровый чип, основанный на новейшей архитектуре Arm (v9.2-A). Графический процессор из серии Blackwell, аналогичный новым картам серии RTX 50 для ПК, обеспечивает высокую производительность и энергоэффективность.

MediaTek Dimensity C-X1

Фото: MediaTek

Искусственный интеллект и автономное вождение

MediaTek обещает обеспечить «сквозной» искусственный интеллект, который сделает автомобили следующего поколения «самыми умными» транспортными средствами. Эти автомобили смогут создавать видеоблоги о путешествиях, следить за безопасностью на дороге как внутри, так и снаружи автомобиля, а также поддерживать четкий и плавный игровой процесс класса AAA для пассажиров.

Искусственный интеллект на базе C-X1 также может сосуществовать с новой специализированной платформой автономного вождения Nvidia Drive AGX и пользовательским интерфейсом DriveOS.

Новые возможности связи

Новая платформа Auto Cockpit была представлена вместе с MediaTek Dimensity Auto Connect MT2739 — первым в мире чипсетом 5G-A для автомобилей с дополнительной спутниковой связью NR-NTN и NB-NTN. Это открывает новые возможности для связи и интеграции автомобилей в современные коммуникационные сети.

Мнение эксперта

«Умные кабины являются ключевой областью инвестиций для автопроизводителей, позволяя создавать дифференцированные конструкции в эпоху программно-определяемых транспортных средств», — отметил Майк Чанг, корпоративный вице-президент MediaTek. — «Наши новые флагманские платформы Dimensity Auto Cockpit позволяют автопроизводителям повышать пользовательский опыт с помощью масштабируемой аппаратной и программной архитектуры, что поможет ускорить внедрение Agentic AI в транспортных средствах».

* Компания Meta (Facebook и Instagram) признана в России экстремистской и запрещена.


Подпишитесь на новости в телеграм: https://t.me/itnewsros

TSMC представляет революционный 1,4-нм техпроцесс для будущих iPhone и графических процессоров Nvidia

TSMC представляет революционный 1,4-нм техпроцесс для будущих iPhone и графических процессоров Nvidia

TSMC представляет 1,4-нм техпроцесс, который будет использоваться в iPhone следующего поколения, графических процессорах Nvidia и многом другом

В июне 2024 года Samsung анонсировала значительные инновации в своем литейном производстве, включая узлы техпроцесса 4 нм, 2 нм и 1,4 нм. Теперь Taiwan Semiconductor Manufacturing Company (TSMC), крупнейший в мире контрактный производитель чипов, представила свою новейшую передовую технологию техпроцесса 1,4 нм, которая найдет применение в будущих продуктах таких технологических гигантов, как Nvidia, Apple, AMD и других.

TSMC сообщила, что 1,4-нм процесс A14 поступит в производство в 2028 году. Новый техпроцесс обещает ряд улучшений по сравнению с 2-нм процессом, включая 30-процентное снижение энергопотребления и повышение производительности примерно на 15%. Напомним, что чипы на базе 2-нм процесса TSMC должны поступить в производство в конце этого года.

TSMC 1,4-нм техпроцесс

Фото: TSMC

TSMC имеет обширный список клиентов, и процесс следующего поколения ожидается в будущих iPhone, графических процессорах Nvidia, чипах AMD и других продуктах. По данным компании, плотность логики увеличилась на 20%, что позволяет повысить производительность по сравнению с 2-нм процессом. Если сравнивать его с текущим 3-нм процессом TSMC, то 1,4-нм процесс на 30% быстрее и на 60% энергоэффективнее.

Ожидается, что новая линейка iPhone 17 от Apple будет использовать новейший процесс N3P (3 нм) для чипов серии A, поэтому переход на 2 нм может произойти через пару лет.

Таким образом, TSMC продолжает укреплять свои позиции на рынке полупроводников, предлагая инновационные решения, которые будут определять будущее технологий. Новый 1,4-нм техпроцесс обещает значительные улучшения в производительности и энергоэффективности, что особенно важно для мобильных устройств и высокопроизводительных графических процессоров.


Подпишитесь на новости в телеграм: https://t.me/itnewsros

«Microsoft запускает спорную ИИ-функцию Recall для всех пользователей Windows 11»

Microsoft наконец запустила для всех ИИ-функцию Recall, которая делает скриншоты всех действий пользователя на ПК

Компания Microsoft, наконец, начала массовое развёртывание своей спорной функции Recall на компьютерах с операционной системой Windows 11. Это произошло спустя почти год после первого анонса. Функция Recall является частью обновления для Windows 11 и доступна для пользователей Copilot Plus PC. В обновлении также включены предварительный просмотр ранее анонсированных функций Click to Do и обновлённого поиска Windows на базе ИИ. Функция Recall вызвала немало споров с момента своего анонса. Она позволяет делать скриншоты всех действий пользователя на ПК, что поднимает вопросы о конфиденциальности и безопасности данных. Microsoft утверждает, что все данные будут храниться в зашифрованном виде и доступ к ним будет ограничен, однако многие пользователи и эксперты в области кибербезопасности выражают озабоченность по поводу потенциальных рисков. Вместе с Recall, обновление Windows 11 включает предварительный просмотр функции Click to Do. Эта функция позволяет пользователям выполнять задачи одним кликом, что значительно упрощает взаимодействие с операционной системой. Также обновлён поиск Windows, который теперь работает на базе ИИ и обещает более точные и быстрые результаты поиска. Microsoft продолжает активно развивать свои ИИ-технологии, интегрируя их в различные аспекты операционной системы Windows. Компания надеется, что эти нововведения сделают работу пользователей более эффективной и удобной, несмотря на возможные опасения по поводу конфиденциальности. Источник изображений: Microsoft * Компания Meta (Facebook и Instagram) признана в России экстремистской и запрещена.

Подпишитесь на новости в телеграм: https://t.me/itnewsros