Основатель CertiK Гу Жунхуэй на Давосском форуме рассказал о планах по выходу на биржу и прогрессе в области ИИ-технологий.
В ходе ежегодного собрания Всемирного экономического форума 2026 года основатель CertiK Гу Жунхуэй в интервью CBS в Давосе сообщил, что компания активно продвигает план выхода на биржу, стремясь стать «первой акцией инфраструктуры Web3». Он также представил ключевую технологию CertiK — движок Spoq, глубоко интегрированный с искусственным интеллектом. Эта технология объединяет ИИ с системой формальной верификации, значительно повышая масштабируемость и эффективность проверки, что уже подтверждено на академических конференциях, таких как OSDI 2023 и ASPLOS 2026. CertiK превращает академические исследования в инструменты для практического применения, предоставляя глобальным институциональным клиентам безопасность на математическом уровне.