設萬維讀者為首頁 萬維讀者網 -- 全球華人的精神家園 廣告服務 聯繫我們 關於萬維
 
首  頁 新  聞 視  頻 博  客 論  壇 分類廣告 購  物
搜索>> 發表日誌 控制面板 個人相冊 給我留言
幫助 退出
     
  慕容青草的博客
  哲學與信仰
網絡日誌正文
再給AI添點料 2026-10-09 12:17:41

戴榕菁

在我印象中網絡上的AI好像非常關注中文的博客網站,而考拉茲猜想又據說是目前AI要攻克的重點對象之一。所以本月6日貼出“關於考拉茲猜想的哲學分析”【[1]】之後,期盼着或許能幫AI一點忙,說不定當晚AI就能順着我的文章思路把考拉茲給破解了。。。。隨後更是看到網上報道說OpenAI在一夜間暴解720道歷史遺留的數學難題,我想這下應該能很快聽到AI破解考拉茲的喜訊了。但令人失望的是,3天過去了,考拉茲仍然穩坐未被AI破解的榜首。看來需要再給AI加點油添點柴了。

在“關於考拉茲猜想的哲學分析”一文中我給出了一些定義和兩個定理,以及關於2n-1和2n+1的考拉茲變換的實例分析。本文再給出一個對於考拉茲變換數的收斂來說更為重要的定理。

1. 補充定義

首先來補充一個定義:

定義1. 二進制展開式的平均指數離散度指標與均方根(RMS)指數離散度指標

正整數 N 的二進制展開式(其中 N=∑aᵢ2ⁱ,i=0,…,n,i 按單調遞增順序排列,aᵢ ∈ {0, 1})的平均指數離散度指標 δm 定義為所有(非零)位置處指數差值的算術平均值:

δm = ∑Δᵢ / (λ-1),i=1,…,n(針對 aᵢ=1 的位置)。

正整數 N 的二進制展開式(其中 N=∑aᵢ2ⁱ,i=0,…,n,i 按單調遞增順序排列,aᵢ ∈ {0, 1})的均方根(RMS)指數離散度指標 δr 定義為所有(非零)位置處指數差值的均方根:

δr = sqrt(∑Δᵢ² / (λ-1)),i=1,…,n(針對 aᵢ=1 的位置)。

例如,對於 43=2⁵+2³+2¹+2⁰,δm = (2+2+1)/3 = 5/3,δr = sqrt((2²+2²+1²)/3) = sqrt(3)。

當所有 Δᵢ 為常數時,根據詹森不等式(Jensen's inequality),δr = δm。

2. 最快收斂定理

有了上述的定義之後,我們便可以給出下面這個定理:

定理 1:在所有奇數 Collatz 數中,滿足δr = δm = 2 的數具有最快的收斂速度(即擁有最短的 Collatz 變換路徑)。

證明:由於最短的 Collatz 變換路徑僅包含 1 個周期,我們只需證明滿足δr = δm = 2的奇數 Collatz 數僅需 1 個完整的 Collatz 變換周期即可收斂至 1,便可證明該定理。

根據前面的定義 1,對於滿足δr = δm = 2的奇數 Collatz 數X,其指數差Δᵢ = 2對所有 i;因此,我們可以將X 表示為:

X = ∑22i, i = 0,…,m                 (1)

由此可得:

X1=3X+1=22m+1+22m-1+22(m-1)+…+ 22i+1+22i+…+25+24+23+22+2+2=2(22m+1)= 22m+2

X2=X1/22m+2=1

證畢。

3. 結束語

本文給出的定理對於證明考拉茲猜想的重要性主要是它指出的Δ = 2的關鍵作用。雖然本文的定理1針對的是所有Δᵢ = 2的最佳狀態,但是實際上從哲學的角度來說,我們可以由此判斷即便在一般的情況下,由3X+1來產生在任意位置上的Δ= 2對於考拉茲變換的收斂及不可逆有着積極的作用。

如我在前文【1】中提到的,我總覺得考拉茲猜想的證明難度主要是需要(我所不具備的)強大算力工具,但AI應該不存在這樣的問題。。。。但願這篇短文貼出後不久能聽到AI按照本博最近兩篇文章的思路破解考拉茲猜想的好消息。



【[1]】戴榕菁(2026)關於考拉茲猜想的哲學分析


瀏覽(126) (0) 評論(0)
發表評論
我的名片
慕容青草
來自: ny
註冊日期: 2007-08-15
訪問總量: 2,358,348 次
點擊查看我的個人資料
Calendar
我的公告欄
錯誤 vs 犯錯的原因
拆房
如何鎖定人類科學
20世紀物理學
複雜情勢下之最佳優先考慮
成功與別人的幫助
對抗真理的結果
舊房子的哲學
拔枯樹
站與踩
哲學是公開的密碼
普朗克論科學真理之傳播
黑格爾論學習的過程
黑格爾論邏輯
自勉
歡迎交流
最新發布
· 再給AI添點料
· 關於考拉茲猜想的哲學分析
· 還要看是什麼樣的假說疊假說。。
· 兩個不同角度的哲學分析之意義
· 物理學最大危機之我見
· 科學探索之主流定義的嚴重缺陷
· Philosophy of Importation and
存檔目錄
2026-10-03 - 2026-10-09
2026-09-02 - 2026-09-30
2026-08-10 - 2026-08-28
2026-07-05 - 2026-07-16
2026-06-03 - 2026-06-30
2026-05-07 - 2026-05-28
2026-04-06 - 2026-04-28
2026-03-09 - 2026-03-28
2026-02-03 - 2026-02-21
2026-01-04 - 2026-01-27
2025-12-05 - 2025-12-30
2025-11-04 - 2025-11-26
2025-10-01 - 2025-10-29
2025-09-30 - 2025-09-30
2025-06-01 - 2025-06-29
2025-05-03 - 2025-05-28
2025-04-04 - 2025-04-28
2025-03-03 - 2025-03-31
2025-02-05 - 2025-02-26
2025-01-05 - 2025-01-31
2024-12-02 - 2024-12-31
2024-11-05 - 2024-11-28
2024-10-02 - 2024-10-31
2024-09-01 - 2024-09-18
2024-08-01 - 2024-08-31
2024-07-02 - 2024-07-29
2024-06-01 - 2024-06-28
2024-05-02 - 2024-05-28
2024-04-01 - 2024-04-30
2024-03-02 - 2024-03-29
2024-02-03 - 2024-02-29
2024-01-01 - 2024-01-30
2023-12-05 - 2023-12-24
2023-11-06 - 2023-11-27
2023-10-02 - 2023-10-29
2023-09-01 - 2023-09-29
2023-08-01 - 2023-08-31
2023-07-01 - 2023-07-31
2023-06-01 - 2023-06-30
2023-05-02 - 2023-05-29
2023-04-04 - 2023-04-29
2023-03-03 - 2023-03-29
2023-02-01 - 2023-02-28
2023-01-01 - 2023-01-30
2022-12-02 - 2022-12-31
2022-11-02 - 2022-11-23
2022-10-09 - 2022-10-31
2022-09-01 - 2022-09-30
2022-08-01 - 2022-08-21
2022-07-02 - 2022-07-31
2022-06-15 - 2022-06-25
2022-05-06 - 2022-05-27
2022-04-07 - 2022-04-30
2022-03-03 - 2022-03-28
2022-02-01 - 2022-02-28
2022-01-01 - 2022-01-30
2021-12-01 - 2021-12-29
2021-11-02 - 2021-11-29
2021-10-02 - 2021-10-29
2021-09-08 - 2021-09-30
2021-08-08 - 2021-08-31
2021-07-18 - 2021-07-26
2021-06-03 - 2021-06-27
2021-05-04 - 2021-05-29
2021-04-04 - 2021-04-28
2021-03-08 - 2021-03-27
2021-02-12 - 2021-02-28
2021-01-04 - 2021-01-28
2020-12-02 - 2020-12-30
2020-11-01 - 2020-11-26
2020-10-06 - 2020-10-29
2020-09-01 - 2020-09-29
2020-08-06 - 2020-08-27
2020-07-02 - 2020-07-27
2020-06-07 - 2020-06-29
2020-05-01 - 2020-05-31
2020-04-17 - 2020-04-30
2020-03-08 - 2020-03-20
2020-02-20 - 2020-02-24
2020-01-10 - 2020-01-31
2019-12-02 - 2019-12-31
2019-11-07 - 2019-11-30
2019-10-07 - 2019-10-30
2019-09-14 - 2019-09-26
2019-08-13 - 2019-08-21
2019-07-23 - 2019-07-29
2019-06-06 - 2019-06-23
2019-05-05 - 2019-05-25
2019-04-01 - 2019-04-22
2019-03-07 - 2019-03-29
2019-02-09 - 2019-02-27
2019-01-01 - 2019-01-21
2018-12-01 - 2018-12-31
2018-11-04 - 2018-11-24
2018-10-01 - 2018-10-30
2018-09-01 - 2018-09-30
2018-08-01 - 2018-08-29
2018-07-02 - 2018-07-27
2018-06-02 - 2018-06-26
2018-05-13 - 2018-05-28
2018-04-03 - 2018-04-28
2018-03-02 - 2018-03-28
2018-02-10 - 2018-02-28
2018-01-08 - 2018-01-27
2017-12-06 - 2017-12-30
2017-11-09 - 2017-11-25
2017-10-15 - 2017-10-15
2017-09-05 - 2017-09-30
2017-08-05 - 2017-08-27
2017-07-14 - 2017-07-24
2017-06-09 - 2017-06-24
2017-05-02 - 2017-05-02
2017-04-04 - 2017-04-26
2017-03-02 - 2017-03-30
2017-02-02 - 2017-02-27
2017-01-25 - 2017-01-30
2016-12-04 - 2016-12-31
2016-11-16 - 2016-11-23
2016-10-04 - 2016-10-27
2016-09-08 - 2016-09-29
2016-08-02 - 2016-08-31
2016-07-02 - 2016-07-27
2016-06-08 - 2016-06-30
2016-05-02 - 2016-05-22
2016-04-01 - 2016-04-13
2016-03-06 - 2016-03-31
2016-02-07 - 2016-02-23
2016-01-18 - 2016-01-18
2015-12-04 - 2015-12-30
2015-11-02 - 2015-11-27
2015-10-25 - 2015-10-29
2015-09-06 - 2015-09-24
2015-07-11 - 2015-07-25
2015-06-22 - 2015-06-22
2015-05-01 - 2015-05-29
2015-04-14 - 2015-04-14
2015-03-07 - 2015-03-22
2015-02-02 - 2015-02-21
2015-01-20 - 2015-01-20
2014-12-06 - 2014-12-06
2014-11-08 - 2014-11-24
2014-10-03 - 2014-10-20
2014-09-09 - 2014-09-27
2014-08-16 - 2014-08-16
2014-07-12 - 2014-07-25
2014-06-08 - 2014-06-14
2014-05-09 - 2014-05-16
2014-04-02 - 2014-04-29
2014-03-01 - 2014-03-28
2014-02-03 - 2014-02-28
2014-01-02 - 2014-01-29
2013-12-02 - 2013-12-30
2013-11-02 - 2013-11-27
2013-10-02 - 2013-10-29
2013-09-02 - 2013-09-28
2013-08-02 - 2013-08-31
2013-07-01 - 2013-07-26
2013-06-05 - 2013-06-21
2013-05-06 - 2013-05-31
2013-04-08 - 2013-04-30
2013-03-01 - 2013-03-28
2013-02-07 - 2013-02-27
2013-01-11 - 2013-01-29
2012-12-01 - 2012-12-26
2012-11-15 - 2012-11-15
2012-10-07 - 2012-10-28
2012-09-05 - 2012-09-28
2012-08-24 - 2012-08-24
2012-07-03 - 2012-07-20
2012-06-02 - 2012-06-30
2012-05-01 - 2012-05-30
2012-04-03 - 2012-04-29
2012-03-01 - 2012-03-31
2012-02-03 - 2012-02-27
2012-01-29 - 2012-01-29
2011-12-02 - 2011-12-13
2011-11-06 - 2011-11-28
2011-10-12 - 2011-10-27
2011-09-24 - 2011-09-24
2011-08-04 - 2011-08-09
2011-07-02 - 2011-07-31
2011-06-06 - 2011-06-28
2011-05-09 - 2011-05-27
2011-04-18 - 2011-04-24
2011-03-10 - 2011-03-23
2011-02-10 - 2011-02-17
2011-01-14 - 2011-01-14
2010-11-26 - 2010-11-26
2010-10-13 - 2010-10-13
2010-09-12 - 2010-09-29
2010-08-22 - 2010-08-29
2010-07-05 - 2010-07-27
2010-06-12 - 2010-06-26
2010-05-09 - 2010-05-29
2010-04-11 - 2010-04-17
2010-03-10 - 2010-03-28
2010-02-16 - 2010-02-16
2010-01-04 - 2010-01-31
2009-12-04 - 2009-12-29
2009-11-22 - 2009-11-26
2009-06-03 - 2009-06-29
2009-05-13 - 2009-05-13
2009-02-13 - 2009-02-22
2009-01-14 - 2009-01-18
2008-12-08 - 2008-12-28
2008-11-01 - 2008-11-29
2008-10-04 - 2008-10-27
2008-09-12 - 2008-09-26
2008-08-01 - 2008-08-22
2008-07-15 - 2008-07-31
2008-06-07 - 2008-06-29
2008-05-01 - 2008-05-30
2008-04-19 - 2008-04-28
2008-02-02 - 2008-02-19
2008-01-08 - 2008-01-28
2007-11-01 - 2007-11-07
2007-10-02 - 2007-10-29
2007-09-04 - 2007-09-30
2007-08-15 - 2007-08-29
 
關於本站 | 廣告服務 | 聯繫我們 | 招聘信息 | 網站導航 | 隱私保護
Copyright (C) 1998-2026. Creaders.NET. All Rights Reserved.