RecodeX 重构消息，Harmonic旗下形式化证明模型Aristotle在加州大学伯克利分校与Meta研究人员构建的代码验证基准VERINA上解决了96.8%的问题。美国聚变实验室DIII-D借助该模型，仅凭一篇研究论文和一段254词的提示词，在四小时内重建了部分反应堆控制软件。Harmonic表示，其数学证明AI的能力已从数学领域扩展至C语言和Verilog代码检查。