（来源：上观新闻）
严格意👶义上，De🔟epSee🇲🇸k并不属🥼🌁于华映☑⏰在海外👨🌾🎬的直接🏤🏢项目，但V💨✳C的目光🤞几乎都聚焦在🤲🇨🇼Deep🦞🚐Seek身上👨👦。在 20 世纪 🦴60 年代🔮🇾🇪，托尼·霍尔📼提出了今天😋🕡形式化🇲🇪👄验证的重要基石🌲——霍尔逻✳辑，然而❤直到他今年🚧📤逝世前🦔⚡，形式化验证仍✖然囿于人🥯🦵力成本，难以扩🍴📿展至大规🦶◽模软件中🌯。他说这段☕成长经🚍🔇历给他的，不是🏴傲慢，是好奇心🕖🇨🇱，以及对"智🇮🇶👇识本身有价值"🐕的朴素信念🇬🇧。
三人都有理工科背🎪景，孙斌毕业🤯于成都理⬛工大学信🈺息工程专业，陈妙🌄波毕业于燕山大📢👩⚕️学计算机科学➖🇬🇹与技术专业，🇵🇱😇王涛则➿毕业于南京理工🏴大学机械设计制造🎛及其自📐🇧🇸动化专业🆎🌎。
