标签: 数学猜想

近日，人工智能初创公司Axiom的AI工具AxiomProver成功解决了多个长期未决的数学难题，包括陈-金德隆猜想等，展现了AI在数学领域能力的稳步提升，其技术未来或在网络安全等领域有应用价值。

标签: AI数学证明 AxiomProver 人工智能辅助数学 数学猜想 未解决数学问题