我的直觉是理解语言和符号数学(例如代数)之间存在一些重叠。代数的规则有点像语法,一步一步的论证让你有点像叙述。如果有人相信这个前提,那么可能值得训练 AI 来做代数(求解 x、导出这个方程等)。
此外,当变量表示“实”数(例如在物理学中所见)时,代数方程以抽象的“线性”方式描述现实世界,这有点类似于自然语言。
最后,代数中有一些练习,如简化、推导有用的方程等,这些练习接近于主观领域,但它仍然比语言更有条理和一致。似乎这可能是通向自然语言歧义的垫脚石。
谁能说出这是否已经(1)被探索或(2)是一个完全虚假的想法?