笑死
—— 来自 Xiaomi Mi 10, Android 13上的 S1Next-鹅版 v2.5.4
现在这些高级问答机器人只能拿现成的语料糊弄你，数学和物理都需要创造新的知识，现成的语料是捏不出来的。
那太好了，搞数学和理论物理的人巴不得明天上帝就出来把一切答案告诉他们
能取代发帖机，钓鱼号那是100%的。
恰恰相反，这帮人是最后被取代的
你先让AI成功解释几个数学/物理笑话
如何用最弱智的系统取代人类最顶尖的头脑？
http://www.matrix67.com/blog/archives/7084
这种东西不叫AI
论坛助手,iPhone
工地搬砖现在不是不能取代，只是太贵而人太便宜。但是理科的研究目前没看到啥进展。
—— 来自 S1Fun
LLM本质还是搜索引擎……
论坛助手,iPhone
现在的AI是大量使用网络不可靠素材的聊天机器人，做不来严谨的工作
找猩猩敲键盘是吧
citrus 发表于 2024-3-21 18:37
且不说语言模型能不能解决物质世界与符号之间的鸿沟，就算是十分接近纯符号逻辑的东西，gpt可以理解皮亚诺 ...
什么鸿沟符号的，本科级别的数学都被 lean 秒完了，是能用 copilot 这种 AI 提示工具介入推理的
https://github.com/ImperialCollegeLondon/M40001_lean/blob/master/src/2020/peano/peano_practice_questions.lean
写大学物理作业的研讨题gpt都用不上，还替代
—— 来自 S1Fun
巴不得有个证明ai，想到一个猜想就扔进去让它证。但替代？你得让ai先学会自己提新的概念和新的问题才有考虑替代的资格，而且自始至终做数学多少有艺术鉴赏的部分在的，而ai永远代替不了这个鉴赏者的角色
Synopses6087 发表于 2024-3-22 01:50
什么鸿沟符号的，本科级别的数学都被 lean 秒完了，是能用 copilot 这种 AI 提示工具介入推理的
https:// ...
从这贴就能看出，泥潭还处在洋人膝盖不能打弯的阶段
只要设置一点障碍，大部分人就情愿道听途说而不是想办法克服困难亲自求证。
2024年了还在GPT做不了小学数学题和大学物理题…
alixsander 发表于 2024-3-22 02:55
从这贴就能看出，泥潭还处在洋人膝盖不能打弯的阶段
只要设置一点障碍，大部分人就情愿道听途说而不是想 ...
你相信GPT给出的答案是正解,和GPT被严格证明给出的答案都是正解的区别还是很大的
本帖最后由 Synopses6087 于 2024-3-22 03:48 编辑
alixsander 发表于 2024-3-22 02:55
从这贴就能看出，泥潭还处在洋人膝盖不能打弯的阶段
只要设置一点障碍，大部分人就情愿道听途说而不是想 ...
你是会转进的，两句话就拐到坛友劣根性上去了
lean 完成了对本科数学内容的形式化是帝国理工学院的学生们和开源社区的手磨咖啡，和 gpt 有什么关系，坛友觉得 gpt 的工业速溶咖啡理解不了数学有什么问题
让你无敌的 gpt 做几个简单的二选题，试试看它能不能取代本科一年级的学生吧：
0. 分数和整数哪个多
1. 有理数和自然数哪个多
2. 无理数和有理数哪个多
3. 实数和自然数哪个多
4. 一维直线和二维平面的点哪个多
5. 二维平面和三维欧式空间的点哪个多
6. 有限长的有理数数列和实数集的子集哪个多
7. 欧式空间上的连续函数和勒贝格可测集哪个多
Aquila4869 发表于 2024-3-21 17:32
我觉得正相反。
这是我当时提的问题：（因为一下子懒得算）
北纬三十度附近经度差1度距离差多少？
GPT4:
地球一周被划分为360度，赤道周长约为40075公里。在北纬30度的纬线上，地球的周长会比赤道小，因为纬度线随纬度的增加而缩短。
北纬30度的纬线长度可以通过赤道长度乘以该纬度的余弦值来估算。因此，北纬30度的纬线长度大约是：
长度
=
40075
×
cos
(
30
度
)
长度=40075×cos(30度)
经度差1度的距离可以通过将该纬线的长度除以360来得到。我们来计算一下。
在北纬30度附近，经度差1度的距离大约是96.41公里。
你们老问一加一，GPT怎么能进步呢？
问问这个
地球表面从39.9042° N, 116.4074° E 一座200米的山峰，到39.9042° S, 106.4074° W处的一座1000米的山峰之间，球面距离是多少。
就生成式AI这种编瞎话的水平，丑国还想着拿这个卡东大的脖子 哦，因为光伏和电动车已经卡不住了所以在这上面猛猛的找回场子是吧
首先取代废话文学作者们，
gammatau 发表于 2024-3-22 04:18
可能只是你对大学物理题水平的认知太低了而已
呵呵
可能你没用GPT4,或者你任务拆解和逻辑表达能力有问题
或者两者兼有
kumat 发表于 2024-3-22 04:47
GPT4:
地球一周被划分为360度，赤道周长约为40075公里。在北纬30度的纬线上，地球的周长会比赤道小，因 ...
因为我觉得能用搜索引擎搜到的答案懒得翻墙，结果给我这么个东西
论坛助手,iPhone
不会，因为如果ai能理解公理化这些东西，那么首先它轻易就可以取代程序员，
论坛助手,iPhone
现阶段靠大数据大算力怼出来的大模型，不存在逻辑思维能力
表现得有逻辑，并不代表它本身有逻辑，更不可能指望它通过逻辑推理完成什么
AI是科学，不是魔法
----发送自 Sony XQ-AT72,Android 12
fwt001 发表于 2024-3-22 03:07
你相信GPT给出的答案是正解,和GPT被严格证明给出的答案都是正解的区别还是很大的 ...
我不认为能搞什么前沿理论推导
但用有约束的，用在工程金融领域是没问题的。99.9%的人没有那么大的知识广度，GPT拿来做一些跨领域问题的咨询，效率是可以的。
举个栗子，比如因为工程化约束，只能用现有的实数伪逆函数进行复矩阵运算。软件外包表示理解不了，而GPT包含打字也就只用了10秒
它最好是真的行.jpg
Synopses6087 发表于 2024-3-22 03:44
你是会转进的，两句话就拐到坛友劣根性上去了
lean 完成了对本科数学内容的形式化是帝国理工学院的学生们 ...
你这？你对记忆和推理能力理解有问题。这种可能语料里都有标准回答，答对了也没啥意义：
这些问题都是关于数学集合的大小比较，具体分析如下：
0. 分数（有理数）和整数哪个多：有理数比整数多。整数集是有理数集的一个子集，而有理数还包括所有的分数。
1. 有理数和自然数哪个多：有理数比自然数多。自然数是有理数的一个子集。
2. 无理数和有理数哪个多：无理数比有理数多。从集合的势的角度来看，无理数集的基数大于有理数集的基数。
3. 实数和自然数哪个多：实数比自然数多。自然数集是实数集的一个真子集。
4. 一维直线和二维平面的点哪个多：一维直线上的点和二维平面上的点一样多。尽管直观上二维平面似乎包含更多的点，但从数学上讲，它们的基数是相同的，都是不可数的。
5. 二维平面和三维欧式空间的点哪个多：二维平面上的点和三维欧式空间上的点一样多。尽管空间的维度不同，但它们的点集都是不可数的，且基数相同。
6. 有限长的有理数数列和实数集的子集哪个多：实数集的子集比有限长的有理数数列多。实数集的势是连续统的势，而有限长的有理数数列属于可数集。
7. 欧式空间上的连续函数和勒贝格可测集哪个多：勒贝格可测集比欧式空间上的连续函数多。连续函数的集合虽然庞大，但勒贝格可测集的集合更为广泛，涵盖了更多的子集类型。
snarc1 发表于 2024-3-22 08:54
不会，因为如果ai能理解公理化这些东西，那么首先它轻易就可以取代程序员，
论坛助手,iPhone ...
轻松取代程序员：
这个很有可能
Aquila4869 发表于 2024-3-22 08:48
因为我觉得能用搜索引擎搜到的答案懒得翻墙，结果给我这么个东西
论坛助手,iPhone ...
你看清楚他的回答和你用文言一心一样么……
还可以换着法子算
alixsander 发表于 2024-3-22 09:15
你这？你对记忆和推理能力理解有问题。这种可能语料里都有标准回答，答对了也没啥意义：
这些问题都是关 ...
笑死,稍微了解过现代数学的都不会说有理数比整数多.
本帖最后由 alixsander 于 2024-3-22 09:33 编辑
hengs 发表于 2024-3-22 09:25
笑死,稍微了解过现代数学的都不会说有理数比整数多.
没啥意义，你想一下是答对说明有推理能力还是答错说明有推理能力。
答对可能是语料里有标准答案，答错有可能是幻觉也有可能是推理能力不够（就和普通人一样）
至于说做前沿理论研究，我认为GPT不可能。
GPT4已经用半年，体验是它对问题的抽象能力极强，而且代码质量是越来越好拜他所赐浏览StackOverflow的频率显著下降
alixsander 发表于 2024-3-22 09:23
你看清楚他的回答和你用文言一心一样么……
还可以换着法子算
你看不懂吗？
我知道这问题简单但我懒得算，我也知道几个ai会出不一样的结果，你重新生成一次也能有其他结果和算法。
本质就是我觉得能直接搜出来的答案，各种百科和数据集里理论上应该有，我懒得找刚好开着所以随手问了下，结果离大谱。
谁不知道不同ai出的结果会不一致。莫名其妙。我真想黑gpt我还特地在后面说来源？
论坛助手,iPhone
素盏鸣尊 发表于 2024-3-21 17:28
人人都是_ _系列之生物学家（
计算获取先导分子/抗体已经是比较常规的操作了，但这种做法门槛不低
好消息是试错成本降低，坏消息是只会试错