Вероятно, модель поправила решение, чтобы верифицировать код на Lean.
Самые интересные новости
AMD показала ПК с 192 ГБ памяти: он локально запускает ИИ-модель на 320 миллиардов параметров
В ходе тестов система обогнала разработку Intel, но есть нюанс — объем памяти.
OpenAI запускает новый интерфейс ChatGPT вместе с GPT-6
Обновление, делающее ответы более наглядными, уже выкатывают.
Люди читают переписки с ChatGPT: OpenAI наняла подрядчиков для проверки реальных разговоров
Эти данные используются для повышения качества ответов модели.
Huawei отдает Aito компании Seres: что изменится для популярного автобренда
Сразу к главному: сервисные обязательства никуда не денутся.
Старые батареи электромобилей научились восстанавливать без переработки
Есть и бонус: восстановленная батарея некоторое время деградирует не так быстро.
Suzuki показала самый дешевый электрический кей-кар в Японии
Ожидается, что e-Sky будет конкурировать с BYD Racco.
В Китае выпустили покрытие для домов, снижающее температуру стен на 25 градусов
Температура внутри зданий падает не настолько сильно.
Беспилотный истребитель FQ-42 впервые показали в строю с F-35 и F-15E
Скоро аппарат должен пересечься с конкурирующим беспилотником.
Мегаваттную зарядку для электромобилей использовали как качели в Китае
К счастью для детей, кабели оказались крепкими.
Найден самый ранний случай влияния Солнца на земную технику
Дело было еще в эпоху пара — почти 180 лет назад.
Новый Geely EX5 заметно прибавил в мощности и получил большой багажник под капотом
Заодно электромобиль снабдили лидаром и задним приводом.
Хакеры захватили три доменные зоны и выпустили поддельные сертификаты
Пока точно неизвестно, сколько таких сертификатов было создано.
Первый пикап Nissan китайской разработки выходит на рынок: что известно о Frontier Pro
На официальные поставки автомобиля в Россию можно не рассчитывать.
ИИ выдадут оружие уже через несколько лет, считает бывший глава ЦРУ
Осталось выяснить, как можно надежно контролировать такие системы.
Geely выпустила недорогой электрический седан — за месяц продано более 10000 машин
Но на официальные поставки в Россию пока можно не рассчитывать.
Самый высокий ветрогенератор в мире построили в Германии — он раздвижной
Полноценная эксплуатация генератора пока не началась.
Минивэну Maextro V800 переделают крепление педали тормоза — она ломается, если тормозить в пол
Владельцы уже проданных автомобилей могут рассчитывать на бесплатную замену.
BYD показала человекоподобного робота — его могут продавать в автосалонах
Использовать робота на производстве тоже планируется.
Li Auto показала новый i6 с улучшенным салоном, передним багажником и матричными фарами
Старт продаж новинки состоится 28 октября — видимо, тогда же назовут и цены.
Новый BYD Seagull стал мощнее и вырос на 42 сантиметра — открыты предзаказы
Стоимость хэтчбека второго поколения объявят позднее.
Anthropic запустила бесплатный ИИ-сканер для поиска уязвимостей
Искать ошибки будут самые продвинутые нейросети компании.
Беспилотные такси Xpeng вышли на дороги Китая: пассажиров ждут кресла с массажем и ИИ за рулем
В ближайшее время сервис будет работать в убыток.
Microsoft запретили оформлять грин-карты в США из-за подозрений в мошенничестве
Аналогичное ограничение введено в отношении Adobe.
Leapmotor установила рекорд по заказам в Китае: за неделю компания продала более 32 тысяч машин
С экспортом у компании тоже все в порядке.
BYD начала продажи кроссовера Ti 7 в Узбекистане — названа цена
В Китае кроссовер стоит существенно дешевле.
Умерла программист Маргарет Гамильтон, писавшая код для высадки людей на Луну
После ухода из NASA Гамильтон продолжила заниматься разработкой.
За месяц у Xiaomi отгрузила 10 тысяч внедорожников Skynomad
В первый месяц кроссоверы продавались со скидкой.
BYD раскрыла интерьер нового Tang: гигантские экраны, запас хода 850 км и зарядка за 9 минут
Мы пока не знаем, сколько будет стотиь такая штука.
Истребитель 6 поколения F-47 будут испытывать с помощью GPU и виртуальных боев
Иначе будет сложновато уложиться в заявленные сроки программы.
Создан мини-робот, получающий энергию от поверхности, по которой идет
С органикой это не работает, так что дредноутов придется запитывать иначе.
Сейчас обсуждают
Популярное за неделю