23:37 ИИ-система AxiomProver впервые опубликовала формальные доказательства в рецензируемых математических журналах
19:37 Roboflow интегрировала RF-DETR в Hugging Face Transformers с заявленным превосходством над YOLO