初创公司Imandra Inc.近日推出了革命性的编程助手——CodeLogician，这一全新的自动推理系统将人工智能驱动的代码补全技术提升到了一个全新的高度。与许多仅依赖于大语言模型的代码补全工具（例如GitHub的Copilot）不同，CodeLogician基于一种前沿概念——神经符号AI，能够对生成的代码进行深层次的推理，有效降低了"幻觉"或错误代码的出现几率。

初创企业Imandra Inc.近日发布了一种全新的AI编程助手——CodeLogician，凭借这一自动推理系统，公司将人工智能驱动的代码补全技术提升至新高度。与目前流行的数据补全工具（如GitHub的Copilot）有所不同，CodeLogician所采用的“神经符号AI”理念，使它在生成代码的同时，能够进行深入推理，显著降低了生成代码不准确的风险。