🤖 ProofTree: ИИ-платформа для совместной работы над математическими доказательствами
Запущена платформа ProofTree, которая объединяет ИИ-помощника и сообщество математиков для совместной работы над сложными доказательствами. Сервис позволяет вести чаты с ИИ, учитывая контекст и персональный стиль пользователя, а также подключать экспертов-людей для обсуждения шагов. На текущем этапе раннего доступа доступ к платформе ограничен пользователями с почтой MIT.
🌍 Проект нацелен на создание высококачественных, не синтетических данных математического рассуждения (reasoning), что критически важно для обучения будущих моделей ИИ. Платформа превращает процесс доказательства в структурированный социальный рабочий процесс.
👤 Это пример специализированного ИИ-инструмента (vertical AI), который интегрируется в профессиональную среду исследователей, позволяя проверять логику ИИ через человеческую экспертизу.
Источник 1: https://www.prooftree.ai