AI 创业公司 Axiom 解决了长期存在的数学难题！

一家新的 AI 数学创业公司 Axiom 取得了非凡的成就，解决了四个以前未解决的数学问题。 这一突破凸显了生成式人工智能 (Generative AI) 快速发展的推理能力及其彻底改变各个领域的潜力。

• •解决方案背后的 AI AxiomProver 由 Axiom 开发，Axiom 是一家由弗吉尼亚大学前数学家共同创立的初创公司。
• •人工智能解决复杂数学问题的能力，展示了人工智能在协助人类研究人员方面的强大力量。
• •解决的问题是在代数几何学和数论领域。