の検索結果 Lean
Crypto
ブテリン氏、Ethereumの長期構想提示 「暗号学的世界コンピュータ」へ
Ethereum共同創設者のビタリク・ブテリン氏は27日、Ethereumの長期的な進化の方向性を提示した。Hegotaアップグレード後はFOCILなどを軸に、検閲耐性や安全性、プライバシーを高める方向性を示した。
AI & Enterprise
Anthropicの非公開AI、リーマン予想研究で前進 成り立つ範囲の下限を引き上げ
Anthropicの非公開AIモデルが、リーマン予想研究で成立範囲の下限を引き上げた。約1日半で650案を試し、60のサブエージェントで検証も実施。結果は社内の数学者2人が確認し、Leanで形式化した。
AI & Enterprise
OpenAIの非公開モデル「Astra」、未解決問題10件で新成果 Lean 4の証明も公開
OpenAIの非公開モデル「Astra」が、数学・理論計算機科学の未解決問題10件で新たな結果を示した。Lean 4による形式証明もGitHubで公開したが、学術的な妥当性は今後の検証を待つ必要がある。
