DS R证明Sylvester–Gallai theorem，虽然错了但还是比较接近

来源: slow_quick 于 2025-01-28 10:04:44 [] [博客] [旧帖] [给我悄悄话] 阅读数 : (1546 bytes)

这个定理描述很简单，证明也很简单，紫檀数学牛蛙都可以玩一玩（不要告诉孩子答案，让他们自己证明）：

Say there are more than one finite number of points on a Euclidean plane, and they are not falling on a single straight line.  Proof that there exists a straight line that goes through only two of those finite points.

Deepseek R 的证明（昨天在Android tablet app上问的）：

https://bbs.wenxuecity.com/tzlc/1998524.html

虽然有错但离正确的证明只差一点点。

ChatGPT V2 （免费版）的证明：

https://bbs.wenxuecity.com/tzlc/1998342.html

我同事问了付费版的ChatGPT o1，更不靠谱，问两遍都是胡乱证明。

我今天在 Deepseek R 网页版又问一遍，完全错了。

简单证明见这里：Kelley's proof

https://en.wikipedia.org/wiki/Sylvester%E2%80%93Gallai_theorem

 

 

 

所有跟帖： 

• 大家都错，但ChatGPT比Deepseek快了许多 -slow_quick- ♂ 给 slow_quick 发送悄悄话 slow_quick 的博客首页 (0 bytes) () 01/28/2025 postreply 10:10:45

• chatGPT花了多少钱啊 -amiyumi- ♀ 给 amiyumi 发送悄悄话 (0 bytes) () 01/28/2025 postreply 10:28:05

• Sam Altman 说他要集资$7 Trillions，相当于 2 x 英国GDP. -BeLe- ♀ 给 BeLe 发送悄悄话 BeLe 的博客首页 (291 bytes) () 01/28/2025 postreply 10:33:38

• 嘴巴大，ROI在哪里？ -成功的飞过- ♂ 给 成功的飞过 发送悄悄话 (0 bytes) () 01/28/2025 postreply 10:38:57

• 这个野心过大。不过OpenAI在设计自己的AI芯片，好像要采用台积电的3nm技术制造。见链接： -大观园的贾探春- ♀ 给 大观园的贾探春 发送悄悄话 大观园的贾探春 的博客首页 (344 bytes) () 01/28/2025 postreply 10:39:35

• 他已经放弃搞foundry的野心，只是要设计自己的AI芯片，由TSMC用3nm技术制造。那样不需太多的钱。 -大观园的贾探春- ♀ 给 大观园的贾探春 发送悄悄话 大观园的贾探春 的博客首页 (0 bytes) () 01/28/2025 postreply 10:45:36

• 他是VC出身，筹钱本事无人能及，其他事有其他人做 -米汤- ♂ 给 米汤 发送悄悄话 米汤 的博客首页 (0 bytes) () 01/28/2025 postreply 10:41:06

• DS出来后，他大概融100B的计划都要泡汤了。现在做原始大模型训练就是当活雷锋。 -whaled- ♂ 给 whaled 发送悄悄话 (0 bytes) () 01/28/2025 postreply 10:41:58

• 如果OpenAI能设计出自己的AI优化芯片，其他公司只能用老黄的GPU，OpenAI还是有硬件优势的。 -大观园的贾探春- ♀ 给 大观园的贾探春 发送悄悄话 大观园的贾探春 的博客首页 (0 bytes) () 01/28/2025 postreply 10:52:35

• 现在做AI 芯片的有多少家？为什么只有老黄现在一统天下，OpenAI 做就肯定超过老黄？凭什么？ -yddad- ♂ 给 yddad 发送悄悄话 yddad 的博客首页 (0 bytes) () 01/28/2025 postreply 11:07:41

• 谷歌和亚麻都有自己的AI芯片啊。自己设计的芯片可以对自家的系统优化。老黄的芯片要卖给许多人就不能对特定的系统优化。 -大观园的贾探春- ♀ 给 大观园的贾探春 发送悄悄话 大观园的贾探春 的博客首页 (0 bytes) () 01/28/2025 postreply 11:23:18

• Google 和 Amazon 自己的用的如何？比老黄的历害？ -yddad- ♂ 给 yddad 发送悄悄话 yddad 的博客首页 (0 bytes) () 01/28/2025 postreply 11:45:56

• 不知道啊。不过谷歌和亚麻好像都无怨无悔。 -大观园的贾探春- ♀ 给 大观园的贾探春 发送悄悄话 大观园的贾探春 的博客首页 (0 bytes) () 01/28/2025 postreply 11:56:30

• OpenAI设计的芯片肯定是对自家的系统优化的，而老黄的GPU要卖给许多人就不能对特定系统优化。 -大观园的贾探春- ♀ 给 大观园的贾探春 发送悄悄话 大观园的贾探春 的博客首页 (0 bytes) () 01/28/2025 postreply 10:59:02

• 这就是proprietary系统的优势。 -大观园的贾探春- ♀ 给 大观园的贾探春 发送悄悄话 大观园的贾探春 的博客首页 (0 bytes) () 01/28/2025 postreply 10:59:40

• 就算他做得出芯片，也的看女大能不能license他用CUDA。黄教主不给也是白费力。 -whaled- ♂ 给 whaled 发送悄悄话 (0 bytes) () 01/28/2025 postreply 11:03:34

• 他可以不用cuda，谷歌的TPU就没用cuda。 -大观园的贾探春- ♀ 给 大观园的贾探春 发送悄悄话 大观园的贾探春 的博客首页 (0 bytes) () 01/28/2025 postreply 11:06:26

• 至于算法这些东西论文出来开源出来大家都能做了立足点就一样了。比拼的就是硬件优势。 -大观园的贾探春- ♀ 给 大观园的贾探春 发送悄悄话 大观园的贾探春 的博客首页 (0 bytes) () 01/28/2025 postreply 11:01:37

• 不懂的东西能不胡说八道吗？ -成功的飞过- ♂ 给 成功的飞过 发送悄悄话 (0 bytes) () 01/28/2025 postreply 11:05:26

• 99%的市场不需要那么大的数据模型，DS足够满足了。就跟电车一样，BYD就算不如Tesla，也能抢占更大的市场份额 -whaled- ♂ 给 whaled 发送悄悄话 (0 bytes) () 01/28/2025 postreply 11:06:56

• 免费版的ChatGPT可以供应大众市场，收费版的供应需求标准高的企业市场。 -大观园的贾探春- ♀ 给 大观园的贾探春 发送悄悄话 大观园的贾探春 的博客首页 (0 bytes) () 01/28/2025 postreply 11:10:02

• 你指的是chatgpt 4吗？ -两女宝妈- ♀ 给 两女宝妈 发送悄悄话 两女宝妈 的博客首页 (0 bytes) () 01/28/2025 postreply 10:41:06

• 我也不懂，我用免费的，但我同事也在收费的ChatGPT o1上试过，都不灵 -slow_quick- ♂ 给 slow_quick 发送悄悄话 slow_quick 的博客首页 (0 bytes) () 01/28/2025 postreply 12:38:44

• 现在AI全都还在死记硬背阶段。没背到的肯定不会做。 -成功的熊- ♂ 给 成功的熊 发送悄悄话 (0 bytes) () 01/28/2025 postreply 11:02:24

• 我觉得谷歌的Alpha系列已经越过这个层次，虽然只是针对特定的domain。 -大观园的贾探春- ♀ 给 大观园的贾探春 发送悄悄话 大观园的贾探春 的博客首页 (0 bytes) () 01/28/2025 postreply 11:05:06

• deepmind 水平应当在OpenAI之上。OpenAI自己的技术骨干都快跑光了，就剩个卖蛇油的了 -whaled- ♂ 给 whaled 发送悄悄话 (0 bytes) () 01/28/2025 postreply 11:10:30

• 毫无疑问DeepMind的水平在任何其他AI公司之上。 -大观园的贾探春- ♀ 给 大观园的贾探春 发送悄悄话 大观园的贾探春 的博客首页 (0 bytes) () 01/28/2025 postreply 11:25:06

请您先登陆，再发跟帖！