OpenAI опубликовала в публичном GitHub-репозитории 722 математических результата, полученных внутренней топ-моделью компании. Многие доказательства формализованы на языке Lean — системе, где каждая логическая цепочка проверяется компьютером....

Китайские производители чипов, по оценке вашингтонского Центра технологий и государственного управления (CTS), накопили 343 иммерсионных DUV-сканера ASML — машин, способных создавать схемы с разрешением, достаточным для 7-нм техпроцесса. Самая многочисленная модель — NXT:1980i: таких на китайских фабриках 270 штук. Ещё 28 — более продвинутые NXT:2050i и NXT:2000i. Диагноз CTS:...

У пользователей платформы Google Workspace появилась возможность использовать чат-бота Claude от Anthropic в качестве альтернативы Google Gemini. Claude теперь поддерживает интеграцию боковой панели с офисными приложениями Google Docs («Документы), Sheets («Таблицы) и Slides («Презентации»). Источник изображений:...

МТС получила самую высокую интегральную оценку технологического развития среди четырех крупнейших групп российских операторов связи по итогам исследования J’son & Partners Consulting. Компания набрала 83% от максимально возможного результата....