【数学】尝试用 latex 跟AI聊了下，居然不全是胡扯

t3486784401

代码敲累了，找几个数学题放松放松。 偶然间翻到一个不算太夸张的，手算结果 64 ：



突然来想法，如果用 latex （一种基于ASCII的排版语言，可以纯 ASCII 描述数学公式）勾搭下 AI，不知会怎样。

直入主题问一下：




得到肯定回答有些意外，那就不客气了（latex 代码直接从 MathType 就能粘贴出来）：




推导的有模有样，但某些地方固执的坚信了不正确的公式（上图红圈），直接提出问题：




一顿改过自新式的肯定，最终也没推导出个啥来。 不过比起通篇胡扯，还是偶尔有不错的推导思路。

看样子在符号数学里融入一定 AI 加持，能短时间爆炸式扩宽思路，具体效果目前还得人肉筛选。

P.S. 附上最开始的问题的 latex 表述，欢迎大家勾搭其他 AI：

1. ${\pi ^6}\mathop {\lim }\limits_{j \to  + \infty } \prod\limits_{k = 2}^j {{{\cos }^6}\left( {\pi /{2^k}} \right)} $

复制代码

rclong

我看嘉立创EDA画原理图和PCB图保存成JSON格式,按理说也可以把这些文件喂给AI来处理
不知道有谁做过这方面的尝试
可能AI也很少受过这方面的训练,GITHUB上开源的电子设计一般也不是JSON格式的

t3486784401

rclong 发表于 2024-7-20 23:14
我看嘉立创EDA画原理图和PCB图保存成JSON格式,按理说也可以把这些文件喂给AI来处理
不知道有谁做过这方面的 ...
(引用自2楼)

主要是需要个监督学习吧，参差不齐的原理走线，喂出个半吊子不如不用

lb0857

rclong 发表于 2024-7-20 23:14
我看嘉立创EDA画原理图和PCB图保存成JSON格式,按理说也可以把这些文件喂给AI来处理
不知道有谁做过这方面的 ...
(引用自2楼)

据说，喂养之路很烧人力物力

wye11083

大模型不是数学分析工具