OpenAI опубликовала отчёт «Десять достижений в математике и теоретической информатике»: внутренняя версия будущей флагманской модели Astra получила доказательства для 10 открытых задач, над некоторыми из которых математики бились 40–50 лет (по одной — с 1999 года, по другой — с 1978 года). Все доказательства формализованы в Leani и опубликованы вместе с рукописью на 249 страниц, суммарная стоимость успешных запусков — около $2000 по тарифам Sol API.
Среди результатов — первый явный пример несофической группы, опровержение гипотезы жёсткости Конна, доказательство гипотезы Эрхарта об объёме, квантовая теорема о параллельном повторении для двухигровых систем и первое с 1978 года улучшение верхней оценки плотности упаковки сфер. Astra ещё не выпущена, воспроизвести эксперимент снаружи нельзя; на следующий день после публикации инженер Anthropic заявил, что с помощью общедоступной модели Fable/Claude без доступа в интернет получил решения половины из перечисленных задач менее чем за 24 часа — что ставит под вопрос уникальность и сложность части заявленных результатов OpenAI.
ВыводСэм Альтман лично представил семейство Astra чиновникам в Вашингтоне; по данным источников, это будет первая модель, проходящая новый государственный процесс одобрения перед релизом
Инсайдер Digital Chat Station сообщил, что смартфон OnePlus 16 уже находится на этапе тестового производства. Устройству приписывают топовый чип Snapdragon 8 Elite Gen 6 Proi, крупный аккумулятор и мощную камерную систему, однако базовая версия неожиданно получит меньше оперативной памяти, чем предыдущее поколение.
По данным издания Код.ру, OnePlus 16 может стать последним флагманом бренда — компания якобы решила «максимально порадовать фанатов» перед уходом с этого рынка, хотя подробностей о причинах такого шага источники не приводят.
Илон Маск представил инвесторам SpaceXi планы по созданию на Луне автономных роботизированных заводов, которые будут производить спутники из местных лунных ресурсов, используя солнечную энергию. По словам Маска, низкая гравитация Луны позволит снизить стоимость запусков, а в перспективе — увеличить экономику Земли в 1000 раз.
По данным 3DNews, речь идёт о постепенном переходе SpaceX от простой доставки грузов на Луну к созданию там промышленности: сначала на спутник планируется завозить большие объёмы оборудования и материалов, а затем строить заводы, где будут работать роботы.
