Symbolab

r/MachineLearning 讨论 AI 数学解题系统设计

一位 Reddit 用户在 r/MachineLearning 版块上寻求了解能够解决数学问题的新型 AI 系统的设计原理。该用户描述了一种潜在的方法，涉及生成 LEAN 证明器中的语句，进行编译，并利用结果逐步构建证明。他们正在寻求关于如何将更大的数学概念组合成更小的概念的见解，以及是否需要大量的硬件资源来实现这些目标。讨论还提到了 Wolfram Alpha、ChatGPT、Claude 3 和 Mathpix 等现有系统作为参考点。