Webtagr - テクノロジーニュースダイジェスト

猫の脳を超えて：より大きな脳を持つことによる認知能力の限界を探る

2025-05-28

この記事では、脳の大きさと思考能力の関係性、特に脳のサイズが人間のそれをはるかに超えた場合にどのような新しい認知能力が出現するかを探ります。ニューラルネットワークや大規模言語モデルの最近の進歩から出発し、計算理論と神経科学の知識を統合することで、脳が膨大な量の感覚情報を処理し、意思決定を行う仕組みを分析します。この記事は、脳が計算の非還元性の中で「還元可能性のポケット」を利用して世界をナビゲートし、より大きな脳はより多くのそのようなポケットを利用できる可能性があり、それによってより強力な抽象能力とより豊かな言語能力につながると主張しています。最終的に、この記事では、人間の理解を超えた心の可能性と、AIが到達する可能性のある高みを探求します。

(writings.stephenwolfram.com)

AI

ライフゲーム：60年間にわたる技術革新の記録

2025-03-19

この記事では、コンウェイのライフゲームにおけるほぼ60年間にわたる「メタエンジニアリング」の開発を探ります。著者は、単純な静的な構造から複雑な計算機まで、イノベーションの軌跡をたどり、「発明」と「発見」(それぞれ手動による構築とアルゴリズムによる探索に対応)の役割を分析し、モジュール性や計算的不還元性などの概念を探求します。振動子、グライダー、グライダーガンなどのさまざまな構造の進化を分析することで、ライフゲームにおける技術革新のパターンを明らかにし、生物進化と比較することで、技術進歩の本質に対する独自の視点を与えます。

(writings.stephenwolfram.com)

テクノロジーライフゲームメタエンジニアリング計算的不還元性

この証明を理解できるか？形式化された数学の一端

2025-01-10

スティーブン・ウルフラムは、長年の数学上の謎、驚くほど単純なブール代数の公理の証明に取り組みます。自動定理証明を用いて生成されたこの証明は、非常に複雑で、人間には理解不能なままです。「機械語」レベルでの操作を解剖し、この証明を人間にも理解できる形にするという課題を提示します。大規模言語モデル（LLM）による証明の理解と簡素化の可能性、そして数学の未来への影響について議論します。結論として、数学の証明の中には本質的に解釈不可能なものがあり、数学はますます実験科学に近づくことを示唆しています。

(writings.stephenwolfram.com)

数学自動定理証明形式化された数学計算の不可逆性