（来源：上观新闻）
他顺手把一个💙在脑子🤲🕴里转了很🌓😫久的想法🚪😓做成了产品，🛷一个让🚋神马久久任何人都能🆓用自然语🦒⚜言“说出”🧳⬅自己想要的软件🚚，然后 AI 直🕕📪接帮你把它做出♊来的平台，数🇸🇰据库、登录🆙❤系统、🏎🚘数据存💸⏏储全部自动配好🛒👬，不需💜要写一行代码🇵🇾🦢。
直播中，机器⚾📣人在工人午餐⛈中断外，💮🛡神马久久连续8小时完成🎭😦2283项任务，😡🇸🇭成功率100🇺🇲%、零失误，符合👯产线节拍要求👨🍳🔪。传奇芯片架💖构师Jim Ke🥕🌑ller（曾🇸🇾🕍主持AMD Ze🏊🛎n架构、苹🥚果A4/A📃神马久久5处理🛌🇪🇬器和特斯拉☯😻自动驾驶芯片设🇹🇴计）担任🍊CEO，公司以R🐏🎚ISC-V🇸🇾🇦🇸指令集👢🔤和可授权IP为核🛩心，2025年🌇底完成8🦢➕亿美元融资，🧐🚶♀️估值32亿🇬🇧ℹ美元🥖。
图丨从左🍱👴至右分别是：王肇🥛国、陈海波和丁浩🗓🚄然（来🇲🇹🈶源：受访者🏐） 跳出“🚶🐘将错就错”：A👩🦲💺I 开始从需求🛢验证代码🖱📉 那么，💝FM-🈸Agent 是🐐如何将形式化🕜🇮🇳方法用于大规模↪☪系统的？要理解☀这个问题，我👩🚒们得先回溯到图灵🚭⏲奖得主托尼·😡🥵霍尔（Ton🇿🇼💙y Hoar🧷e）早在 2🇹🇨🇮🇱0 世纪 60🚄 年代为代🎧👚码验证🔣😺指明的方向—👀—组合式推理（🐼Com🇹🇱posit🆓🧗♀️ional Re🇻🇬💱ason💣ing）👁。
