Channel Public Channel

Data Science

@datascienceiot

DS
По всем вопросам- @haarrp

@ai_machinelearning_big_data - machine learning

@pythonl - Python

@itchannels_telegram - 🔥 best it channels

@ArtificialIntelligencedl - AI

@pythonlbooks-📚

@programming_books_it -📚

Реестр РКН: https://clck.ru/3Fk3zS

Open in Telegram

Subscribers: 42.6K
Photos: 1.8K
Videos: 5
Links: 2.2K

Showing posts older than #3295 · Back to latest

Older Posts 18 shown

Post #3293 5.68K Jun 4, 2025, 17:02 UTC

Enumerate-Conjecture-Prove: Formally Solving Answer-Construction Problems in Math Competitions

Read

@datascienceiot

arXiv.org Formally Solving Answer-Construction Problems in Lean Large language models (LLMs) have achieved remarkable progress in formal mathematical reasoning. Mathematical competition problems fall into two broad types: theorem-proving problems ask for a...

Post #3292 6.2K Jun 4, 2025, 16:02 UTC

MTС Web Services расширила функционал облачной b2b-платформы MWS GPT для работы с ИИ

Что доступно пользователям:
— Более 40 LLM, в том числе Open Source позволяют сравнивать и тестировать модели в единой среде
— Поддержка мультиагентных архитектур в low-code-конструкторе позволяет автоматизировать многозадачные сценарии
— RAG и Vision в ChatUI для создания ИИ краткой выжимки из содержания документов и изображений
— FineTune - обучение уже освоившей ключевые навыки языковой модели для адаптации под конкретную область
— MWS GPT доступна как в облаке, так и on-premise

Технологично, эффективно, по делу.

@datascienceiot

Post #3291 6.16K Jun 3, 2025, 17:00 UTC