第(2/3)頁

    就在這些數據里，通用型ai給出一系列報告，讓科學家們意識到，

    “初號機”正在從已知的理論體系中，探尋新的現象，并將其分配信息序列碼，加入到自己的數據庫之中。

    即便這些新的現象，挑選部分解析，無一例外都是粗淺的數學規律，“初號機”的行為還是讓研究人員深感震驚，畢竟，他們在此前研發的各類系統、機組上，從未見過這種近似于“主動學習”般的行為。

    倘若事實到此為止，這，怎么說也還好。

    但在西歷1496年1月的某天，更準確的時刻，并不為人知，監控系統抽取數據的時刻則是凌晨2:40，所得數據經過分析，呈現出的人類、而非fscim條目敘述，則讓所有人看后為之一振，精神也緊張起來。

    針對某一條自己總結出的數學規律，“初號機”，給出了嚴密的證明。

    “數學證明”，不論計算機與ai如何看待，站在人類的立場，一堆由fscim體系翻譯而來的敘述，表達的就是這種意思。

    具體的講，“初號機”存入數據庫的資料，是關于“最大公約數與最小公倍數”的定理之證明，定理本身，是人類早已知道的“兩整數最大公約數與最小公倍數之積，與兩整數之積相等”，一點也不稀奇。

    但是，對自身數據庫中，并沒有這一條淺顯定理的“初號機”而言，就很不尋常。

    從粗淺的數學知識出發，發現兩數的最小公倍數、最大公約數，這些具有一定的數學意義的概念，這本身并非什么奇跡。

    不過在此基礎上，進一步的，總結出關于這些元素的數學定理、并完成證明，就絕非人類現有的計算機+人工智能可以辦得到：哪怕有再強的算力，再龐大的數據庫，也沒有可能“自主”的完成這一切。

    “初號機”的證明過程，以fscim規則的解析，的確合乎邏輯。

    令人震驚的事實，則隱藏在這一條普普通通的證明之后，說明“強ai初號機”的確“理解”了人類提供的數學框架。

    繼而，在這一已有框架內，進行探索性的研究活動。
    第(2/3)頁