ИИ и нейросети меняются каждый день — мы собираем главное в одном месте.
Компания DeepSeek объявила о создании в Внутренней Монголии отечественного вычислительного центра гигаваттного уровня, что стало значительным шагом в развитии ИИ-инфраструктуры Китая. Этот шаг рассматривается как ответ на опасения Запада по поводу технологического прогресса Китая.
Новый препринт на arXiv решает давнюю проблему в аддитивной комбинаторике. Ключевую конструкцию предложил Hyra — открытый ИИ-агент от Tencent на основе модели Hy3. Несмотря на попытки AlphaEvolve от Google DeepMind, а также GPT и Claude, ни одна из них не добилась успеха. Решение Hyra было формально проверено в системе интерактивного доказательства Lean. Это достижение знаменует собой первую крупную математическую победу, одержанную моделью с открытым исходным кодом. Математик Томас Блум признал результат и даже указал Hyra в качестве соавтора.
