Впервые в истории возможно доказать вывод LLM в условиях нулевых знаний. 🤯
Глубокое доказательство Лагранжа-1 только что проверило GPT-2 от OpenAI, что стало поворотным моментом в ИИ:
Аудируемо без раскрытия данных
Соответствует нормативным стандартам
Достоверность в финансах, обороне и здравоохранении
И мы на этом не останавливаемся. 🚀
Доказанные компоненты (многоголовое внимание, софтмакс, нормализация слоя, квантизация) такие же, как те, что поддерживают более крупные модели, такие как LLAMA, Falcon, Mistral.
🌐 Дорожная карта:
→ Оптимизировать DeepProve для развертывания в широком масштабе
→ Доказать LLAMA, опору современного предприятия + исследовательского ИИ с открытым исходным кодом
→ Масштабировать криптографическую проверяемость для каждого крупного LLM
ИИ формирует критически важные решения по всему миру. Доказательство правильности этих решений больше не является необязательным — это необходимо.
DeepProve делает это возможным. Эпоха проверяемого ИИ наступила.
