微速讯:Turing Award Laureate: Model Checking?Not Viable for AI Systems
- 21世纪经济报道
- 2025-10-18 13:05:30
(资料图片仅供参考)
By Harry Wu, 21st Century Business Herald, SFC
Model Checking cannot verify the entire AI system or its key components as a "model" and write and verify specifications for it, such as "never harm humans" or "maintain fairness," because Model Checking relies on the idea that I have a mathematical model of the behavior and system,” said Joseph Sifakis, 2007 A.M. Turing Award Laureate and Founder of the Verimag laboratory, at the 2025 Sustainability Global Leaders Conference held from October 16th to 18th in Shanghai.
“For AI systems, we cannot extract mathematical models, which are neural networks imitating the neural networks of our brain. And we don"t have the models,” he added. “We don"t know how to apply Model Checking techniques to AI system.”
Sifakis is a principal co-inventor of Model Checking , an algorithmic technique for verifying computing systems. His work transformed this approach from a theoretical technique to a highly effective technology that enables hardware and software engineers to find errors efficiently in complex systems.
Model Checking has resulted in increased assurance that systems perform as intended by designers, and has had a major impact on designers and manufacturers of software and semiconductor chips, who face a technology explosion where products of unprecedented complexity have to operate as expected. Sifakis"s work enabled these industries to shorten time to market and greatly increase product integrity.
微速讯:Turing Award Laureate: Model Checking?Not Viable for AI Systems
TuringAwardLaureate:ModelChecking?NotViableforAISystems
【ETF动向】10月17日南方上证科创板综合ETF基金跌3.7%,份额减少400万份-资讯
证券之星消息,10月17日,南方上证科创板综合ETF基金(589660)跌3 7%
大唐新能源(01798)前9个月累计完成发电量约2589.06万兆瓦时 同比增加11.68%_新消息
智通财经APP讯,大唐新能源(01798)公布,2025年9月该集团按合并报表口
[业绩预告]思特威(688213):2025年前三季度业绩预告的自愿性披露公告 新消息
原标题:思特威:2025年前三季度业绩预告的自愿性披露公告证券代码:6882




















![[业绩预告]思特威(688213):2025年前三季度业绩预告的自愿性披露公告 新消息](http://img.haixiafeng.com.cn/2022/0610/20220610014634425.jpg)





































