像 FindFormula 这样的函数已经在使用机器学习启发的技术来获取数据并尝试为您生成“合理的公式”，它或许能够帮助您识别数学公式并写成文档。
[title]沃尔夫勒姆：人工智能能解决科学问题吗？[heading2]科学作为叙事And,by the way,our efforts with Wolfram Language help too.Because the whole idea of our computational language is to capture “common lumps of computational work” as built-in constructs—and in a sense the process of designing the language is precisely about identifying “human-assimilable waypoints” for computations.Computational irreducibility tells us that we’ll never be able to find such waypoints for all computations.But our goal is to find waypoints that capture current paradigms and current practice,as well as to define directions and frameworks for extending these—though ultimately “what we humans know about” is something that’s determined by the state of human knowledge as it’s historically evolved.顺便说一句，我们在Wolfram语言方面的努力也有帮助。因为我们计算语言的整体理念是将“常见的计算工作块”捕获为内置结构——从某种意义上说，设计语言的过程正是确定计算的“人类可同化的路径点”。计算不可约性告诉我们，我们永远无法为所有计算找到这样的路径点。但我们的目标是找到捕捉当前范式和当前实践的路径点，并定义扩展这些范式和实践的方向和框架——尽管最终“我们人类所知道的”是由人类知识在历史演变过程中的状态决定的。Proofs and computational language programs are two examples of structured “scientific narratives”.A potentially simpler example—aligned with the mathematical tradition for science—is a pure formula.“It’s a power law”.“It’s a sum of exponentials”.Etc.Can AI help with this?A function like FindFormula is already using machine-learning-inspired techniques to take data and try to produce a “reasonable formula for it”.证明和计算语言程序是结构化“科学叙述”的两个例子。一个可能更简单的例子——符合科学的数学传统——是一个纯粹的公式。“这是幂律”。“这是指数之和”。等等。人工智能可以帮助解决这个问题吗？像FindFormula这样的函数已经在使用机器学习启发的技术来获取数据并尝试为其生成“合理的公式”。