Это так круто, и я невероятно оптимистично настроен на использование AI для генерации и доказательства доказательств, чтобы обеспечить безопасность интернета. Это звучит странно, но это единственный / лучший способ, которым человечество может использовать AI, чтобы защитить себя от суперразумов, которые будут эксплуатировать каждую неизвестную уязвимость, написанную людьми.