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

請您先登陸，再發跟帖！