AI & Enterprise

Cardano创始人Charles Hoskinson：AI数学证明能力进展超预期

Cardano（ADA）创始人Charles Hoskinson表示，AI在复杂数学证明生成及形式化验证方面的进展速度超出预期，并特别关注围绕纳维-斯托克斯方程的相关突破说法。与此同时，他提醒，研究人员若过度依赖集中式云端AI服务，研究数据和知识产权可能面临外泄风险，因此有必要建设私有AI环境。

Finance

韩国金融监督院召集金融机构CISO：强化AI网络攻击防范，敷衍整改将依法从严处理

韩国金融监督院9日召集金融机构首席信息安全官（CISO）开会，要求由管理层牵头完善公司层面的IT风险管理，加强IT资产识别、漏洞处置和补丁管理，并健全事故发生后的快速恢复及客户损害通知、赔偿机制。监管部门表示，将重点检查IT基础控制情况，高风险机构将接受现场检查；对流于形式的自律整改，若最终引发重大事故，将依法从严处理。