- 主题:发现让AI大模型解平面几何题都不会添加辅助线
Gemini总是爱用三角函数公式
千问更夸张，直接想到建立坐标系了
没有一个AI大模型会添加辅助线解决问题
--
FROM 140.210.152.*
来个简单的：已知直角梯形三条边，求第四条边，不加辅助线怎么做呢
--
FROM 223.104.40.*
毕竟建系计算对人来说费点劲还容易错，但却是机器的长项
【 在 ZhangJuZheng 的大作中提到: 】
: Gemini总是爱用三角函数公式
: 千问更夸张，直接想到建立坐标系了
: 没有一个AI大模型会添加辅助线解决问题
- 来自 水木说
--
FROM 223.104.40.*
这不是强人所难吗？
【 在 ZhangJuZheng 的大作中提到: 】
: Gemini总是爱用三角函数公式
: 千问更夸张，直接想到建立坐标系了
: 没有一个AI大模型会添加辅助线解决问题
: ...................
--
FROM 39.152.24.40
很正常
当年我们初中 几何老师就说
将来解析几何可以算
最简单的
和圆只有一个交点叫切线
平面几何不能用定义证明切线
解析几何可以
【 在 ZhangJuZheng 的大作中提到: 】
: Gemini总是爱用三角函数公式
: 千问更夸张，直接想到建立坐标系了
: 没有一个AI大模型会添加辅助线解决问题
: ...................
--
FROM 183.241.155.170
这个不太好训练啊，标注起来太麻烦了
【 在 Oliver87 的大作中提到: 】
: 这个感觉是训练数据的问题。数据不够，主要是标注也不好做。
--
FROM 124.160.72.*
圆周上任一一点的切线。等于经过该点且垂直于该点至圆心线段的垂线啊
【 在 defeatyou 的大作中提到: 】
: 很正常
: 当年我们初中 几何老师就说
: 将来解析几何可以算
: ...................
--
FROM 122.96.33.*
对啊，平面几何只能证明经过圆周且垂直半径
不好证明和圆只有一个交点
【 在 Wack 的大作中提到: 】
: 圆周上任一一点的切线。等于经过该点且垂直于该点至圆心线段的垂线啊
:
--
FROM 223.104.40.236
并非不能证明吧，可以反证法去证的。
【 在 defeatyou 的大作中提到: 】
: 对啊，平面几何只能证明经过圆周且垂直半径
: 不好证明和圆只有一个交点
--
FROM 112.80.233.*
大语言模型是用自然语言的语料训练的
自然语言的描述方式本身就是串行的长文本，巨长文本，巨巨长文本
不论多长，都没有空间结构
可能跟这个有关系
【 在 ZhangJuZheng 的大作中提到: 】
: Gemini总是爱用三角函数公式
: 千问更夸张，直接想到建立坐标系了
: 没有一个AI大模型会添加辅助线解决问题
: ...................
--
FROM 222.128.31.*