（来源：上观新闻）
到现在，Th♠🚓e Light🏦 Pho👹ne 愣是累计8️⃣📼融资了 246🌦📟7 万🔻美元，是多少小⛲🐇公司的📞一辈子🇿🇲。传奇芯😇🔩片架构师Jim 🇬🇼Kel🇲🇰🆓ler2️⃣🧖♂️（曾主持AM🇬🇲⏪D Zen架构、🏈💇♂️苹果A4/🤤A5处理器和特斯😊拉自动驾驶🇰🇬🏷芯片设计）担🚜任CEO，🌅🥟公司以🏂👾RISC-V指✴令集和可授🦒权IP为核心，🦉◼202🦞🥼5年底🐹🍲完成8亿美🇭🇷🅱元融资，估值3👣2亿美元👓😵。
图丨自上而下🤺的规约生成新🌵📽范式（来源🍎🇪🇨：arXi🤨v） 在推㊗理过程的可靠🆚性方面，研究团🇲🇻队并不是直接让 🏩LLM 判断🚃👐代码是否正确，而👻是将思维🌆链（Ch📶🇳🇱ain of🇻🇨 Though🏩t）与霍尔逻辑的📉推理规则相结🇩🇰合，引导✳🇵🇪 LLM 📂逐步推导👝🧦每个代码块🏔执行后程序状态所🧰满足的性质，最🎁💚终检查程序状态🔞是否符🇺🇲😽合“说👩✈️🤷♂️明书”的🛠要求🍷🇧🇫。
