Forwarded from Глобальная Авантюра
🇨🇳 Китайская DeepSeek представила революционную ИИ-модель для математических доказательств — DeepSeek-Prover-V2 с 671 млрд параметров
Новинка работает на базе Lean 4 и построена по архитектуре MoE (Mixture of Experts), что делает её гораздо быстрее и точнее в формальных доказательствах теорем. Модель уже доступна на Hugging Face и может использоваться как локально, так и в коммерческих проектах.
Это мощный инструмент для автоматизации логики, математики и формальных рассуждений.
Новинка работает на базе Lean 4 и построена по архитектуре MoE (Mixture of Experts), что делает её гораздо быстрее и точнее в формальных доказательствах теорем. Модель уже доступна на Hugging Face и может использоваться как локально, так и в коммерческих проектах.
Это мощный инструмент для автоматизации логики, математики и формальных рассуждений.
👍7
84% украинцев в целом и 81% русскоязычных украинцев утверждают, что в Украине нет систематических притеснений или ограничений русскоязычных.
Источник ЧП Украина
Please open Telegram to view this post
VIEW IN TELEGRAM
👍8👀4😱2
Документальный фильм про Путина выйдет на экраны уже 4 мая
Ленту «Россия. Кремль. Путин. 25 лет. Премьера» покажут на российском ТВ в 21:00.
Please open Telegram to view this post
VIEW IN TELEGRAM
👍16🔥4🗿2👎1😁1😡1
Решение было принято после разочаровывающего релиза «Белоснежки» — фильм собрал всего 69 млн долларов внутри страны и 145 млн долларов по всему миру при производственном бюджете в 270 млн долларов.
Когда возобновится производство «Рапунцель», неизвестно. Сейчас Disney готовится к выходу других киноадаптаций своих мультфильмов: ремейков «Лило и Стича» и «Моаны».
По слухам, на роль Рапунцель рассматривали Флоренс Пью.
Please open Telegram to view this post
VIEW IN TELEGRAM
👍11😱7❤2
Forwarded from Комсомольская правда: KP.RU
Тот случай, когда есть две новости - и обе хорошие! Во-первых, сразу две зарубежные авиакомпании возвращаются в Россию и возобновляют прямые рейсы. Во-вторых, делают они это как раз к началу сезона отпусков. Впрочем, есть и третья новость, уже не особо радостная - билеты дорогие. Подробнее - в наших карточках ⤴️
Please open Telegram to view this post
VIEW IN TELEGRAM
Please open Telegram to view this post
VIEW IN TELEGRAM
👍11😡2
Forwarded from Баррель черной икры
МРОТ в России поднимут до 34 тысяч рублей уже с 1 января 2026 года. А минимальный почасовой уровень оплаты труда — со 120 до 300 рублей в час. Законопроект уже вносят в Госдуму. Сейчас МРОТ составляет 22,4 тысячи. @banki_oil
😁14🗿2
По информации Axios, Зеленский во время 15-минутной встречи с Трампом на похоронах Папы Римского просил занять более жесткую позицию и требовал не признавать Крым Российским.
В ответ Трамп спокойно заявил: «Мы вас об этом и не просим»
Please open Telegram to view this post
VIEW IN TELEGRAM
👍16👏3😁3🤨2❤1
Forwarded from Время госзакупок
АвтоВАЗ обнаружил утечку данных о 32 тыс. владельцев автомобилей Lada. Но в компании заверяют, что персональные данные были собраны из альтернативных источников и автоконцерн к этому непричастен.
😁12
Украина и США не завершили обсуждение условий ресурсной сделки, поскольку Киев попытался пересмотреть условия, согласованные на выходных — Financial Times
👻9👍2😁1
Forwarded from Владимир
Коммерсантъ
Ритейл складывает бизнес
«Магнит» покупает сеть магазинов «Азбука вкуса»
🗿6
Forwarded from ЛЮТЫЙ ВОЕНКОР
Please open Telegram to view this post
VIEW IN TELEGRAM
👍28🗿2
Forwarded from Военкор Котенок
⚡️Росатом: Россия готова обсудить с США американское присутствие на Запорожской АЭС в рамках урегулирования конфликта.
Об этом заявил гендиректор корпорации Лихачёв.
Ранее Bloomberg и Reuters в унисон писали, что администрация Трампа продавливает Москву на передачу ЗАЭС под американский контроль с последующими поставками электроэнергии на Украину.
@voenkorKotenok
Об этом заявил гендиректор корпорации Лихачёв.
Ранее Bloomberg и Reuters в унисон писали, что администрация Трампа продавливает Москву на передачу ЗАЭС под американский контроль с последующими поставками электроэнергии на Украину.
@voenkorKotenok
👎24👍9😁1🤨1
Forwarded from ЛЮТЫЙ ВОЕНКОР
Но окончательное решение должно быть принято большинством жителей города, заявил президент.
А вы как считаете ? Переименуем ?
Please open Telegram to view this post
VIEW IN TELEGRAM
👍66👎25🤯3😁1👀1