Lanyon AI走出隐身模式，完成1060万美元融资

RecodeX 重构消息，Lanyon AI宣布从隐身模式中亮相，并完成由Dimension领投的1060万美元融资。该公司由普林斯顿大学数学家与物理学家团队创立，正在构建一种全新的科学AI，其技术基于数学正确性证明。