🚨 人工智能正革新網絡安全與軟體開發 NEAR 聯合創始人 Illia Polosukhin 警告，人工智能加速了軟體漏洞的檢測。 他提議以數學支援的形式化驗證取代人工審查。 自動化測試生成的進展簡化了關鍵流程，開啟了軟體安全的新時代。 NEAR 亦推出更新，以應對量子計算帶來的威脅。