AI会不会先取代搞数学和理论物理的那群人？

omnitoken

笑死

—— 来自 Xiaomi Mi 10, Android 13上的 S1Next-鹅版 v2.5.4

yangkaim4

现在这些高级问答机器人只能拿现成的语料糊弄你，数学和物理都需要创造新的知识，现成的语料是捏不出来的。

夏延

那太好了，搞数学和理论物理的人巴不得明天上帝就出来把一切答案告诉他们

CrayS1

能取代发帖机，钓鱼号那是100%的。

cleverfox

恰恰相反，这帮人是最后被取代的

从心，

你先让AI成功解释几个数学/物理笑话

可鲁

如何用最弱智的系统取代人类最顶尖的头脑？

CCauchy

http://www.matrix67.com/blog/archives/7084
这种东西不叫AI

论坛助手,iPhone

孜然羊肉

工地搬砖现在不是不能取代，只是太贵而人太便宜。但是理科的研究目前没看到啥进展。

—— 来自 S1Fun

sdefrfg1

LLM本质还是搜索引擎……

论坛助手,iPhone

猫踏飞燕

现在的AI是大量使用网络不可靠素材的聊天机器人，做不来严谨的工作

希望之花

找猩猩敲键盘是吧

Synopses6087

citrus 发表于 2024-3-21 18:37
且不说语言模型能不能解决物质世界与符号之间的鸿沟，就算是十分接近纯符号逻辑的东西，gpt可以理解皮亚诺 ...

什么鸿沟符号的，本科级别的数学都被 lean 秒完了，是能用 copilot 这种 AI 提示工具介入推理的
https://github.com/ImperialColle ... tice_questions.lean

Double-Z

写大学物理作业的研讨题gpt都用不上，还替代

—— 来自 S1Fun

homeo

巴不得有个证明ai，想到一个猜想就扔进去让它证。但替代？你得让ai先学会自己提新的概念和新的问题才有考虑替代的资格，而且自始至终做数学多少有艺术鉴赏的部分在的，而ai永远代替不了这个鉴赏者的角色

fwt001

alixsander 发表于 2024-3-22 02:55
从这贴就能看出，泥潭还处在洋人膝盖不能打弯的阶段

只要设置一点障碍，大部分人就情愿道听途说而不是想 ...

你相信GPT给出的答案是正解,和GPT被严格证明给出的答案都是正解的区别还是很大的

Synopses6087

alixsander 发表于 2024-3-22 02:55
从这贴就能看出，泥潭还处在洋人膝盖不能打弯的阶段

只要设置一点障碍，大部分人就情愿道听途说而不是想 ...

你是会转进的，两句话就拐到坛友劣根性上去了
lean 完成了对本科数学内容的形式化是帝国理工学院的学生们和开源社区的手磨咖啡，和 gpt 有什么关系，坛友觉得 gpt 的工业速溶咖啡理解不了数学有什么问题

让你无敌的 gpt 做几个简单的二选题，试试看它能不能取代本科一年级的学生吧：
0. 分数和整数哪个多
1. 有理数和自然数哪个多
2. 无理数和有理数哪个多
3. 实数和自然数哪个多
4. 一维直线和二维平面的点哪个多
5. 二维平面和三维欧式空间的点哪个多
6. 有限长的有理数数列和实数集的子集哪个多
7. 欧式空间上的连续函数和勒贝格可测集哪个多

gammatau

alixsander 发表于 2024-3-22 02:55
从这贴就能看出，泥潭还处在洋人膝盖不能打弯的阶段

只要设置一点障碍，大部分人就情愿道听途说而不是想 ...

可能只是你对大学物理题水平的认知太低了而已

kumat

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这种编瞎话的水平，丑国还想着拿这个卡东大的脖子 哦，因为光伏和电动车已经卡不住了所以在这上面猛猛的找回场子是吧

养生侠

首先取代废话文学作者们，

Aquila4869

kumat 发表于 2024-3-22 04:47
GPT4:

地球一周被划分为360度，赤道周长约为40075公里。在北纬30度的纬线上，地球的周长会比赤道小，因 ...

因为我觉得能用搜索引擎搜到的答案懒得翻墙，结果给我这么个东西

论坛助手,iPhone

snarc1

不会，因为如果ai能理解公理化这些东西，那么首先它轻易就可以取代程序员，

论坛助手,iPhone

绚烂航迹云

现阶段靠大数据大算力怼出来的大模型，不存在逻辑思维能力
表现得有逻辑，并不代表它本身有逻辑，更不可能指望它通过逻辑推理完成什么
AI是科学，不是魔法

----发送自 Sony XQ-AT72,Android 12

bwjsif

它最好是真的行.jpg

hengs

alixsander 发表于 2024-3-22 09:15
你这？你对记忆和推理能力理解有问题。这种可能语料里都有标准回答，答对了也没啥意义：

这些问题都是关 ...

笑死,稍微了解过现代数学的都不会说有理数比整数多.

wangzengyang66

GPT4已经用半年，体验是它对问题的抽象能力极强，而且代码质量是越来越好拜他所赐浏览StackOverflow的频率显著下降

Aquila4869

alixsander 发表于 2024-3-22 09:23
你看清楚他的回答和你用文言一心一样么……
还可以换着法子算

你看不懂吗？
我知道这问题简单但我懒得算，我也知道几个ai会出不一样的结果，你重新生成一次也能有其他结果和算法。
本质就是我觉得能直接搜出来的答案，各种百科和数据集里理论上应该有，我懒得找刚好开着所以随手问了下，结果离大谱。
谁不知道不同ai出的结果会不一致。莫名其妙。我真想黑gpt我还特地在后面说来源？

论坛助手,iPhone

gammatau

alixsander 发表于 2024-3-22 08:48
呵呵

可能你没用GPT4,或者你任务拆解和逻辑表达能力有问题

嗯嗯物理题解不了是我任务拆解能力不好

我tm为什么不拆解成1+1=2用计算器呢，你真的做过物理题吗

Raising_Heart

素盏鸣尊 发表于 2024-3-21 17:28
人人都是_ _系列之生物学家（

计算获取先导分子/抗体已经是比较常规的操作了，但这种做法门槛不低

AP0rt_

好消息是试错成本降低，坏消息是只会试错