aniarin 2024-07-08 十年前，网上有很多聊天机器人，刚接触的时候感觉很好玩，但玩得多了就发现，这些机器人完全没办法围绕同一个问题长久地展开对话，他只能对你当前的指令做出反应，一但你的话题开始展开，他就开始驴唇不对马嘴了。 而目前网络上的那些ai依然存在这种问题，所以一年前网络ai大狂欢吹嘘第四次工业革命的时候完全不理解这有啥好吹的。 ♥ 30 ↩ 9
账号已注销 2024-07-08 VS中可以像安装python一样安装一个叫做LEAN的语言，它专注的方向就是数学证明的验证。GitHub和Discord社区中的爱好者已经为它提供了很多的支持库，包括范畴论Category Theory。后者算对结构相似性很一般的描述，小到同构同态同胚同论这种具有相同结构的不同对象，还有所谓数形结合，大到至少同调这种沟通拓扑和代数的桥梁。 如果某种类似LEAN的语言在发展比较完善之后被集成了AI接口，算力足够的情况下，感觉可以让AI的统计结果变得足够高效，并且只输出逻辑无误的过程。以至于超过Wolfram Alpha那种只能给出简单不定积分和定积分过程的水准。 “数形结合”这种层次的“灵性”完全可以通过范畴论之类描述不同数学结构之间结构的数学顶替。回望下 古今数学思想 当中的重大数学进展，可以发现它们不全是从概念就开始原创的，有相当一部分是有“嗅觉敏锐”的学者发现了巨量结构中几个看似不同但有深刻内在联系的命题。把这些散落在屋子里的积木拼接起来就能得到惊艳的结果。 如果AI把文字书写的数学结构以某种形式储存成适合AI读取调用的对象，并有能力通过这些已有的结构生成新的结构（就像BFS到达新的顶点那样）甚至在大量的测试中找到具有更大顶点度的命题至于可以像有限元那样在更活跃的区域使用更精细的测试或者做一些类似剪枝的操作提供某个数学分支中命题的最短遍历路径（比如单复变里那种从上个命题出发用寥寥几句便可证明下个命题的学习路径），它将很容易在研究和数学教学中提供人力难以企及的帮助。 ♥ 13
lile235 2024-07-08 问他一些关于小县城的事就能很明显的看出ai基于统计的。例如一个小县城有什么特产，这个特产的年产量是多少，ai的回答基本都是从这些小县城官方发布的新闻稿里摘抄出来的。 ♥ 12
李总同学- 2024-07-08 解释一下为什么人工智能在下围棋打游戏这种纯逻辑领域打败人类？这说明不是人工智能深度学习不行只是缺少训练人工神经网络做数学题的算法而已，等一个AlphaGo类似的训练算法人工智能就会做数学题并且彻底打败人类 ♥ 5 ↩ 7
知无穷 2024-10-14 我有一个想法，其实人们对于逻辑的本质认知是不足的，几乎把它当成一个框或类似真理准则的存在，而很少把逻辑本身纳入反思中（即使在数理逻辑中，形式化处理主要也是解决更偏技术性的问题）。我认为逻辑其实是人们大量经验，相关性等汇总后涌现出的产物，不是来自形而上的，超验的规则。所以马克思所赋予实践的地位是有道理的，逻辑从根本上说也源于实践。这也许是计算机和人的区别之一，毕竟计算机的核心语法根本上说是人赋予的。当然，不排除计算机复杂到一定程度后也涌现出自我意识的可能性。 ♥ 1 ↩ 2
AI视频小助理 2024-07-09 实名羡慕up这溢出屏幕的才华[点赞][点赞][点赞]，YYDS！快来一键三连吧[热词系列_优雅] 一、AI在高考中的表现，以及生成式AI在绘画和对话方面的应用。虽然AI的智能并非逻辑计算因果推导，但它更像是基于统计或相关性的结果。 00:01 - AI在高考中的表现不佳，尤其在数学方面表现差 00:43 - 生成式AI的内容是基于统计而非逻辑，这导致其在数学方面表现不佳 02:16 - AI的智能是基于统计或者说相关性，而不是逻辑计算因果推导 二、人类思维中的逻辑推导和感觉直觉的结合，以及如何通过训练集来产生这种相关性，并以数学学习为例说明。 03:00 - 大脑的神经网络能自动学习并产生相关性 03:14 - 逻辑推导在思维中只占很小一部分 04:24 - 大量训练后大脑会产生直觉，类似于AI的体感 --以上内容由模型基于视频内容生成，仅供参考。视频总结、高能空降欢迎召唤热心市民@AI视频小助理
粟粱不是栗梁 2024-07-08 人工智能的解题方式我们人类也用啊。[doge] 比如语文、思政大题。你得了满分是你知道这么写会得满分还是真的会？[doge] 还有比如说写报告、宣传文案。对吧。[doge] ↩ 1
Comments
语文能编，物化生能查，数学考逻辑，不会就是不会[doge]
♥ 50 ↩ 5
十年前，网上有很多聊天机器人，刚接触的时候感觉很好玩，但玩得多了就发现，这些机器人完全没办法围绕同一个问题长久地展开对话，他只能对你当前的指令做出反应，一但你的话题开始展开，他就开始驴唇不对马嘴了。 而目前网络上的那些ai依然存在这种问题，所以一年前网络ai大狂欢吹嘘第四次工业革命的时候完全不理解这有啥好吹的。
♥ 30 ↩ 9
这正好是我今年作文的一个观点，AI的答案基于对数据库的调用整理，没有真正的逻辑，不是在回答问题
♥ 25 ↩ 4
感觉这些不擅长数学的AI，更像是擅长察言观色，给领导随声附和的人。
♥ 14 ↩ 2
VS中可以像安装python一样安装一个叫做LEAN的语言，它专注的方向就是数学证明的验证。GitHub和Discord社区中的爱好者已经为它提供了很多的支持库，包括范畴论Category Theory。后者算对结构相似性很一般的描述，小到同构同态同胚同论这种具有相同结构的不同对象，还有所谓数形结合，大到至少同调这种沟通拓扑和代数的桥梁。 如果某种类似LEAN的语言在发展比较完善之后被集成了AI接口，算力足够的情况下，感觉可以让AI的统计结果变得足够高效，并且只输出逻辑无误的过程。以至于超过Wolfram Alpha那种只能给出简单不定积分和定积分过程的水准。 “数形结合”这种层次的“灵性”完全可以通过范畴论之类描述不同数学结构之间结构的数学顶替。回望下 古今数学思想 当中的重大数学进展，可以发现它们不全是从概念就开始原创的，有相当一部分是有“嗅觉敏锐”的学者发现了巨量结构中几个看似不同但有深刻内在联系的命题。把这些散落在屋子里的积木拼接起来就能得到惊艳的结果。 如果AI把文字书写的数学结构以某种形式储存成适合AI读取调用的对象，并有能力通过这些已有的结构生成新的结构（就像BFS到达新的顶点那样）甚至在大量的测试中找到具有更大顶点度的命题至于可以像有限元那样在更活跃的区域使用更精细的测试或者做一些类似剪枝的操作提供某个数学分支中命题的最短遍历路径（比如单复变里那种从上个命题出发用寥寥几句便可证明下个命题的学习路径），它将很容易在研究和数学教学中提供人力难以企及的帮助。
♥ 13
问他一些关于小县城的事就能很明显的看出ai基于统计的。例如一个小县城有什么特产，这个特产的年产量是多少，ai的回答基本都是从这些小县城官方发布的新闻稿里摘抄出来的。
♥ 12
大语言模型是这样的，只用把token都凑到一起就好了，使用者考虑的就多了
♥ 10
解释一下为什么人工智能在下围棋打游戏这种纯逻辑领域打败人类？这说明不是人工智能深度学习不行只是缺少训练人工神经网络做数学题的算法而已，等一个AlphaGo类似的训练算法人工智能就会做数学题并且彻底打败人类
♥ 5 ↩ 7
因果跟混沌到底谁才是客观存在！这是一个问题……
♥ 2
AI的理科总分基本还是能擦线上本科的。这起码说明AI的综合表现业已超过了一半以上的考生。
♥ 2 ↩ 2
我一个山西人 搜索 板鸡 AI给我的答案让我哭死[笑哭][笑哭]
♥ 2
今年数学已经能140+了，真快[笑哭]
♥ 1
我觉得 生成式AI 将是人类历史最大的泡沫，现在的AI 根本无法让他来处理稍微严肃点认真点 准确率要求高的工作，如果只是能编故事 那等于无用
♥ 1
我有一个想法，其实人们对于逻辑的本质认知是不足的，几乎把它当成一个框或类似真理准则的存在，而很少把逻辑本身纳入反思中（即使在数理逻辑中，形式化处理主要也是解决更偏技术性的问题）。我认为逻辑其实是人们大量经验，相关性等汇总后涌现出的产物，不是来自形而上的，超验的规则。所以马克思所赋予实践的地位是有道理的，逻辑从根本上说也源于实践。这也许是计算机和人的区别之一，毕竟计算机的核心语法根本上说是人赋予的。当然，不排除计算机复杂到一定程度后也涌现出自我意识的可能性。
♥ 1 ↩ 2
数学是计算机的强项，没理由不会
♥ 1 ↩ 4
训练一个人工智能专门挑错找出逻辑错误，用这个挑错人工智能来训练人工智能提升数学能力
♥ 1
2024年还在奋战高考题，2025开始做奥数，2026已经走到数学界最前沿了。过去一些人觉得对ai最难的领域，短短两年就被被突破了
我觉得吧[doge]不是返璞归真而是他仅仅到达亚里士多德的水平罢了[doge]
实名羡慕up这溢出屏幕的才华[点赞][点赞][点赞]，YYDS！快来一键三连吧[热词系列_优雅] 一、AI在高考中的表现，以及生成式AI在绘画和对话方面的应用。虽然AI的智能并非逻辑计算因果推导，但它更像是基于统计或相关性的结果。 00:01 - AI在高考中的表现不佳，尤其在数学方面表现差 00:43 - 生成式AI的内容是基于统计而非逻辑，这导致其在数学方面表现不佳 02:16 - AI的智能是基于统计或者说相关性，而不是逻辑计算因果推导 二、人类思维中的逻辑推导和感觉直觉的结合，以及如何通过训练集来产生这种相关性，并以数学学习为例说明。 03:00 - 大脑的神经网络能自动学习并产生相关性 03:14 - 逻辑推导在思维中只占很小一部分 04:24 - 大量训练后大脑会产生直觉，类似于AI的体感 --以上内容由模型基于视频内容生成，仅供参考。视频总结、高能空降欢迎召唤热心市民@AI视频小助理
人工智能的解题方式我们人类也用啊。[doge] 比如语文、思政大题。你得了满分是你知道这么写会得满分还是真的会？[doge] 还有比如说写报告、宣传文案。对吧。[doge]
↩ 1