Технологии

N+1N+1Решение задач Международной математической олимпиады доверят ИИ

1 фото
Оргкомитет Международной математической олимпиады предложил создать конкурс IMO Grand Challenge, посвященный созданию алгоритма, который автоматически решает классические олимпиадные математические задачи. Алгоритм необходимо будет разработать с помощью языка программирования Lean.
Читать в источнике
Комментировать
Политика

Замгоссекретаря США по контролю над вооружениями покидает пост

Замгоссекретаря США по контролю над вооружениями Андреа Томпсон покидает пост, передает Reuters. Об этом объявил госсекретарь Майк Помпео.
Армия и оружие

МИД призвал США не нарушать ДНЯО

США должны перестать привлекать к совместным ядерным миссиям НАТО неядерные страны, что нарушает Договор о нераспространении ядерного оружия (ДНЯО).
Армия и оружие

Эр-Рияд показал обломки атаковавших месторождения нефти дронов

Представитель министерства обороны Саудовской Аравии Турки аль-Малики продемонстрировал в прямом эфире арабских телеканалов обломки четырех крылатых ракет, которые атаковали одно из двух нефтяных месторождений на востоке страны.
Политика

Хуситы заявили о прекращении атак на Саудовскую Аравию

Захватившие власть на севере Йемена повстанцы из движения «Ансар Алла» (хуситы) заявили о прекращении авиаударов с беспилотников по Саудовской Аравии, повстанцы ожидают аналогичного шага от Эр-Рияда.
Происшествия

Театр.doc в Москве сообщил о провокации во время спектакля

В московском Театре.doc сообщили, что во время спектакля "Война близко" в пятницу произошла провокация, некоторые зрители покинули помещение, но сам спектакль не прерывался.
Спорт

Россию заподозрили в махинациях с данными антидопинговой лаборатории

РУСАДА было восстановлено в сентябре 2018 года. В январе 2019-го WADA получила данные из базы московской антидопинговой лаборатории.
Происшествия

В Брянске задержан подозреваемый в убийстве курьеров спецсвязи

Брянские правоохранители задержали подозреваемого в убийстве двух сотрудников спецсвязи на железнодорожном вокзале.
Политика

В сети началась прямая трансляция со «Штурма Зоны 51»

Сегодня, 20-го сентября, в США состоится «Штурм Зоны 51». Прямая трансляция этого события уже началась на YouTube-канале LDG Station.
Авто

В России стартовали продажи обновлённого Mitsubishi Eclipse Cross

Обновленные кроссоверы Mitsubishi Eclipse Cross 2020 модельного года уже добрались до дилерских центров бренда в России.
Армия и оружие

В США собираются атаковать Калининград в случае конфликта с РФ

Командующий ВВС США в Европе и Африке Джеффри Ли Харригян заявил, что у Пентагона есть средства для преодоления системы воздушной обороны в Калининграде.
Шоу-бизнес

Организатор поездки Заворотнюк в Ереван высказалась о ее шраме на шее

За приемом лекарственных препаратов Анастасию не замечали, а был ли шрам на ее шее – подруги даже не заметили.
Происшествия

Актера Павла Устинова отпустили из СИЗО

Армия и оружие

Путин понаблюдал за масштабными учениями под Оренбургом

128 тысяч военнослужащих из разных стран, более 20 тысяч единиц техники, корабли и авиация — на полигоне Донгуз в Оренбурской области стартует основной этап масштабных учений "Центр - 2019".
Здоровье

В США кровь женщины стала синей после принятого обезболивающего

По мнению американских врачей, к изменению цвета крови мог привести банзокаин, содержащийся в лекарстве, принятом женщиной.
Авто

Amazon закупит 100 000 электрических фургонов

Интернет-магазин Amazon закупит 100 000 электромобилей марки Rivian для своей службы доставки.
Здоровье

В Минздраве опровергли существование безопасных доз алкоголя

Здоровье человека и безопасная доза алкоголя — несовместимые понятия, заявил главный психиатр-нарколог Минздрава РФ Евгений Брюн.
Происшествия

Суд в Москве арестовал расстрелявшего коллег полицейского

Шоу-бизнес

Анастасия Заворотнюк делала МРТ за год до беременности

Анастасия Заворотнюк проходила МРТ головного мозга за год до наступления третьей беременности.
Наука

Загрязнение воды признано одной из главных причин рака

Экологи обнаружили в водопроводной воде США 22 канцерогенных вещества, которые, по мнению ученых, могли стать причиной сотней тысяч случаев онкологических заболеваний, зафиксированных в период с 2010 по 2017 годы.
Авто

В России сертифицирован новый китайский кроссовер

Китайский внедорожник GAC GS8 получил Одобрение типа транспортного средства, о чем свидетельствует запись в базе Росстандарта.
Футбол

У «Спартака» – 6 поражений и 6 побед в официальных матчах этого сезона

«Спартак» уступил «Уфе» (0:1) в матче 10-го тура РПЛ. Это поражение стало для московского клуба шестым в официальных матчах этого сезона.
Авто

Lexus показал свою первую серийную яхту

Мировая премьера первой роскошной яхты Lexus LY 650 состоялась 19 сентября в Бока-Ратоне.
Общество

В Башкирии девочку с деформированным черепом отказались брать в детсад

Игры

Французский суд обязал Valve разрешить перепродажу игр Steam

Верховный суд Парижа постановил, что европейские потребители могут свободно перепродавать цифровые игры, купленные в Steam.
Здоровье

В Туле назначен новый главврач областной клинической больницы

На пост главного врача назначена Анна Савищева. До настоящего времени Анна Александровна возглавляла Городскую больницу №13.
Происшествия

В Бурятии задержали шамана-оппозиционера

Футбол

РФС подтвердил отказ «Зениту» в регистрации Кокорина

Российский футбольный союз (РФС) подтвердил информацию о решении отказать петербургскому клубу «Зенит» в регистрации нападающего команды Александра Кокорина.
Кино

Скончался актер из «Брата» и «Улиц разбитых фонарей» Игорь Шибанов

Армия и оружие

Командование «ООС» озвучило потери ВСУ в Донбассе

В Донбассе с начала суток 20 сентября в районе проведения так называемой "операции объединенных сил" ("ООС") трое украинских военных получили ранения.
Политика

В Киеве пообещали конфисковать купленные россиянами сельхозземли

После снятия на Украине запрета на продажу земель сельскохозяйственного назначения россияне все равно не смогут их приобрести, а если какой-то участок и будет куплен, его конфискуют.
Наука