登录之后可以开启更多功能哦
数学学术界近日迎来了一场技术地震。初创AI公司Axiom Math对外宣布,其自主研发的AI系统自今年 2 月以来提交的 8 篇数学论文中,已有 5 篇正式通过同行评审并被学术期刊接收。这一突破不
数学界迎来了一次具有里程碑意义的重大突破。OpenAI近日宣布,其内部最新的推理模型成功生成了一份原创数学证明,正式推翻了由著名数学家保罗·Erdős在 1946 年提出的单位距离猜想。这一成果标