Agoras: Tau Net

Agoras Tau Net — это Layer-1 блокчейн, использующий логический искусственный интеллект для создания и эволюции программного обеспечения. Основой служит Tau Language — decidable декларативный язык, где пользователи описывают требования, а система автоматически генерирует корректный код с формальным доказательством.

Сеть поддерживает децентрализованную разработку, управление и адаптивную токеномику в реальном времени. Токен AGRS является центральным элементом экономики Tau Net.

Проект имеет долгую историю с whitepaper и testnet, фокусируясь на verifiable AI и логическом рассуждении. Это core AI-протокол с акцентом на формальную логику вместо традиционных нейросетей.