Тег

#copilot

3 поста

• Oct 29, 2024 · Эссе · 1 мин

  Microsoft и GitHub представляют новый AI-инструмент Spark

  GitHub и Microsoft представили Spark — новый AI-инструмент для создания микро-приложений.

• Dec 14, 2023 · Эссе · 1 мин

  Lean Copilot: Новый шаг в автоматизации доказательства теорем

  Lean Copilot - новый инструмент, который меняет процесс доказательства теорем с помощью AI.

• Aug 2, 2023 · Эссе · 1 мин

  Gorilla: Помощник в написании кода с API вызовами

  Gorilla — первый в мире AI, специализирующийся на написании вызовов API.