01:00 Sakana AI представила метод обучения нейросетей по блокам, сокращающий потребление памяти в 8 раз
23:37 ИИ-система AxiomProver впервые опубликовала формальные доказательства в рецензируемых математических журналах