vistehno

GPT 5 4 Pro взломала 60 летнюю задачу Эрдеша Теперь этот метод решает другие проблемы GPT 5 4 Pro взломала 60 летнюю задачу Эрдеша Теперь этот метод решает другие проблемы GPT 5 4 Pro решила задачу Эрдеша и это оказалось не разовым трюком В середине апреля появилась громкая история GPT 5 4 Pro под руководством математика Джареда Лихтмана за полтора часа нашла доказательство задачи Эрдеша 1196 открытой с 1968 года Но самое интересное началось после Лихтман анонсировал новую статью где показал это доказательство уже доработанное человеком стало ключом к еще нескольким задачам Эрдеша Среди них есть проблема которая тоже оставалась открытой около 60 лет Почему это важно Потому что модель не просто перебрала известные приемы Она предложила необычный ход рассматривать элементы примитивного множества через цепи Маркова До этого в литературе в основном шли другим путем через жесткие аналитические оценки и комбинаторные разбиения То есть AI не просто угадал ответ Он подсветил метод который начал работать шире одной конкретной задачи Лихтман сформулировал это очень точно Это пожалуй один из первых примеров доказательства созданного искусственным интеллектом которое дало последующий эффект и мы все еще изучаем его последствия Вот здесь и начинается настоящая история про AI в науке Не когда модель решает одну задачу ради заголовка А когда ее идея начинает переноситься на соседние проблемы x com jdlichtman status 2050460077904285789 s 46 t pKf FxsPGBd YMIWTA8xgg

Новая скульптура Бэнкси появилась за ночь в центре Лондона Установленная на площади Уотерлоо скульптура изображает мужчину в костюме шагающего вперед с постамента его лицо полностью скрыто большим флагом

Япония тестирует гуманоидных роботов в токийском аэропорту Ханэда чтобы закрыть нехватку рабочих рук В испытаниях участвуют Unitree G1 и более высокий UBTECH Walker E Их хотят использовать для тяжёлых задач погрузки грузов перевозки багажа и другой физической работы Проблема в том что авиационный сектор Японии перегружен туристов становится больше а молодых работников готовых идти в наземное обслуживание всё меньше У JAL около 4000 сотрудников заняты в ground handling Компания хочет чтобы роботы взяли на себя самую тяжёлую часть работы и разгрузили людей Позже таких роботов могут подключить к уборке салонов самолётов и управлению другой вспомогательной техникой

Kinetix AI показала тизер KAI нового гуманоидного робота Его оснастили 36 степенями свободы что больше чем у любой предыдущей модели гибридной ловкой кистью и 18 000 сенсорами встроенными в мягкое и гибкое тело Компания позиционирует KAI как самую человекоподобную роботизированную систему на сегодняшний день Каждый день мы становимся чуть ближе к настоящим гуманоидным роботам

Павел Дуров выкатил первый русскоязычный ИИ трек про Живой Интернет тема напрямую про обход блокировок и это не прикол Основатель телеграм заявляяет что дальше будет выпускать шансон под псевдонимом Дурикович Похоже нас ждёт тур Дуров сошел с ума t me durov russia 67

Конец эпохи в Apple Tim Cook уходит с поста CEO 1 сентября Компания сообщила о первой за почти 15 лет смене первого лица компании С 1 сентября пост генерального директора займёт Джон Тернус старший вице президент по аппаратной инженерии Он превратил компанию с капитализацией 350 млрд в монстра на 4 трлн Его сменит John Ternus инженер который реально стоял за созданием iPhone

Это может перевернуть рынок связи во Франции запустили eSIM с безлимитом в 135 странах Оператор Forfait проект миллиардера Ксавье Ньеля выкатил тариф Free Max и он выглядит как чит код для путешествий За 29 99 мес полный безлимит 5G 4G не только во Франции но и по всему миру 135 стран США Канада Китай ОАЭ Турция почти вся Европа в списке есть Россия и СНГ безлимит работает официально eSIM оформляется онлайн за пару минут получаешь французский номер 33 и французский IP Фактически один тариф вместо десятков симок и роуминга Если это реально стабильно работает классический роуминг можно хоронить Похоже появился первый по настоящему глобальный мобильный тариф

Microsoft умудрилась уронить сервисы даже в космосе Во время миссии Artemis II у экипажа прямо в полёте отвалилась Outlook перестали работать сразу два почтовых профиля Один из астронавтов передал на Землю почта просто перестала отвечать Человечество возвращается к Луне А Outlook по прежнему падает где угодно даже за пределами Земли x com MarcusHouse status 2039579997976121779 s 20

Bitcoin под угрозой Google рассчитала взлом за 9 минут Google Quantum AI выпустила статью где показала новые оценки для атаки на secp256k1 именно на этой эллиптической кривой держатся подписи Bitcoin и части экосистемы Ethereum Авторы утверждают что алгоритм Шора можно реализовать примерно с 1200 логическими кубитами и 90 млн Toffoli гейтов либо с 1450 логическими кубитами и 70 млн Toffoli гейтов Для сверхпроводниковой архитектуры это дает оценку меньше чем в 500 тысяч физических кубитов что почти на порядок лучше некоторых прошлых оценок и заметно ниже чем в работе Litinski 2023 с которой они сравниваются Самое тревожное в бумаге не в самом факте угрозы а в таймингах По расчетам Google если часть вычислений сделать заранее то после раскрытия публичного ключа приватный ключ можно получить примерно за 9 12 минут Средний блок Bitcoin добывается около 10 минут а значит теоретически становятся возможны on spend атаки перехват транзакции в мемпуле и подмена до подтверждения блока Авторы отдельно пишут что именно fast clock платформы вроде superconducting и photonic выглядят опаснее всего для активных транзакций При этом речь пока не о том что Bitcoin сломали Такого компьютера сейчас не существует Но сама граница между это научная фантастика и это уже инженерная гонка заметно сдвинулась В paper прямо сказано что криптосообществам стоит ускорять переход к post quantum cryptography без промедления Отдельная проблема старые и давно неактивные кошельки В документе говорится что около 1 7 млн BTC до сих пор лежат в старых P2PK скриптах с уже раскрытыми публичными ключами а общий объем уязвимых адресов оценивается примерно в 6 7 млн BTC Это делает спящие монеты потенциальной многомиллиардной целью для будущих CRQC машин Ethereum по мнению авторов рискует по своему Там отдельные поверхности атаки связаны с account model BLS подписями валидаторов и KZG commitments которые используются в Data Availability В таблице paper для Ethereum перечислены отдельные классы уязвимостей включая BLS signatures и KZG commitments Еще один важный момент Google проверила свои ресурсные оценки через zero knowledge proof не раскрывая сам атакующий квантовый circuit Для квантового криптоанализа такого уровня это подается как важная валидация результатов Итог простой квантовый взлом Bitcoin еще не наступил но окно до реальной угрозы сжимается гораздо быстрее чем многие привыкли думать Теперь вопрос уже не в том возможна ли такая атака в принципе а успеет ли крипторынок мигрировать раньше чем появится нужное железо quantumai google static site assets downloads cryptocurrency whitepaper pdf

В Китае запущена первая полностью автоматизированная линия по производству гуманоидных роботов Предприятие в городе Фошань рассчитано на выпуск 10 000 человекоподобных машин ежегодно Переход на конвейерный формат сократил время сборки одного устройства в среднем до 30 минут Это повысило общую эффективность производства более чем на 50 по сравнению с традиционными методами сборки Технологический процесс состоит из 24 этапов и включает 77 процедур для проверки безопасности и надежности узлов Линия отличается высокой гибкостью архитектура конвейера позволяет одновременно выпускать различные модификации роботов для разных нужд от заводских цехов до медицинских учреждений Тренд на массовое производство поддерживают и другие локальные разработчики Unitree и UBTech планируют поставить на рынок десятки тысяч роботов уже к концу этого года а Agibot отгрузила более 5 тыс единиц в 2025 году cctvplus com