Как дела, экспортёры

SMLT Первая ласточка из регионов... Власти Прикамья инициировали судебные разбирательства с дочерней компанией застройщика «Самолёт» Власти Прикамья инициировали судебные разбирательства с дочерней компанией застройщика «Самолёт» по поводу реализации КРТ в Дзержинском районе. С девелопера требуют более 200 млн руб. за неисполнение обязательств по договору.

Намечается подписание соглашения между Татнефть и государственной нефтяной компанией Турции TPAO TATNP TATN TUR Намечено подписание соглашения с турецкой государственной нефтяной компанией TPAO по участию в разработке ряда месторождений и последующем разделе и реализации нефтегазовой продукции. Как думаете - насколько ещё вырастет?🤔 #рынокрф #россия #татнефть #турция #сотрудничество #нефть #правительство

ИИ вдруг начали щелкать одну за другой нерешенные людьми математические задачи. YDEX POSI SFTL Это значит, что ИИ уровня «гений по требованию» может появиться уже в 2026 Сегодня многие медиа напишут, как о сенсации, о «победе на выходных: ChatGPT 5.2 Pro решил нерешенную ранее математическую задачу». Речь идет о сообщении Нила Сомани, что доказательство, которое он представил для задачи Эрдёша № 397, было принято знаменитым математиком Теренсом Тао. FYI. Знаменитый венгерский математик Пал Эрдёш сформулировал множество нерешённых гипотез и задач в математике (более 1000), в основном в областях комбинаторики, теории чисел и геометрии. Многие из них до сих пор не решены. И хотя в сообщении Нила Сомани чистая правда, сенсация вовсе не в этом. Настоящая сенсация в том, что произошел какой-то еще не понятый нами прорыв. Фронтирные модели вдруг начали с конца декабря щелкать одну за другой нерешенные людьми задачи Эрдёша, тратя на решение одной задачи около15 минут: 24-го декабря решена задача №1077; 25-го - №333; 26-го – 897; 6 января 2026 - №728; 8-го – 720; 10-го №205 и №397 (источник). О том, что преодолен важный рубеж, Теренс Тао написал после того, как 6-го января модель ChatGPT 5.2 Pro с помощью Aristotle (новая LLM, которая находит напрямую формальные доказательства математических утверждений, которые можно верифицировать, и если они проходят проверку, считать вопрос закрытым) решил задачу Эрдёша № 728. Прорыв в том, что: 1. Задача была решена ИИ автономно (после получения обратной связи по результатам первоначальной попытки). 2. Это решение не существовало (не было описано) в каких либо источниках, созданных математиками – людьми. Это – как пишет Теренс Тао - демонстрирует реальное увеличение возможностей этих инструментов за последние месяцы. Следовательно, потребовалось всего 3 месяца, чтобы уровень моделей (по определению того же Теренса Тао) повысился с «уровня некомпетентного аспиранта» до «уровня компетентного аспиранта» (способного к самостоятельному творческому синтезу знаний). И возможно, до уровня «гений по требованию» нас также отделяют уже не годы, а месяцы. #ИИ #прогресс #развитие #технологии #AI