の検索結果 Lean AI & Enterprise Anthropicの非公開AI、リーマン予想研究で前進 成り立つ範囲の下限を引き上げ Anthropicの非公開AIモデルが、リーマン予想研究で成立範囲の下限を引き上げた。約1日半で650案を試し、60のサブエージェントで検証も実施。結果は社内の数学者2人が確認し、Leanで形式化した。 AI & Enterprise OpenAIの非公開モデル「Astra」、未解決問題10件で新成果 Lean 4の証明も公開 OpenAIの非公開モデル「Astra」が、数学・理論計算機科学の未解決問題10件で新たな結果を示した。Lean 4による形式証明もGitHubで公開したが、学術的な妥当性は今後の検証を待つ必要がある。 Crypto Ethereum、バリデーター退出待機が再びゼロ 新規参加待ちは43日超 Ethereumでバリデーターの退出待機列が再びゼロになった。出金需要が後退する一方、新規参加の待機は約250万ETH、最長43日超に膨らみ、拡張性の確保が課題として浮上している。 Crypto ビットコイン反発、6万3000ドル台回復 現物ETFが純流入、アルトコインも上昇 Crypto イーサリアム、対BTCで節目 雲を上抜けなら0.036視野 Crypto ブテリン氏、新構想「Lean Ethereum」提示 量子耐性や拡張性を重視
AI & Enterprise Anthropicの非公開AI、リーマン予想研究で前進 成り立つ範囲の下限を引き上げ Anthropicの非公開AIモデルが、リーマン予想研究で成立範囲の下限を引き上げた。約1日半で650案を試し、60のサブエージェントで検証も実施。結果は社内の数学者2人が確認し、Leanで形式化した。
AI & Enterprise OpenAIの非公開モデル「Astra」、未解決問題10件で新成果 Lean 4の証明も公開 OpenAIの非公開モデル「Astra」が、数学・理論計算機科学の未解決問題10件で新たな結果を示した。Lean 4による形式証明もGitHubで公開したが、学術的な妥当性は今後の検証を待つ必要がある。
Crypto Ethereum、バリデーター退出待機が再びゼロ 新規参加待ちは43日超 Ethereumでバリデーターの退出待機列が再びゼロになった。出金需要が後退する一方、新規参加の待機は約250万ETH、最長43日超に膨らみ、拡張性の確保が課題として浮上している。
記事検索 search AI編集部おすすめ トレンド 1 SK hynix、龍仁と清州に約54兆ウォン投資 DRAM・NAND新工場を建設 2 Samsung ElectronicsとSK hynix、メモリー販売LTA戦略に差 契約比率重視か市況連動余地か 3 Samsung SDI、SynergyCellsのGM保有持ち分を取得 北米で単独工場化 4 TeslaとSpaceX、半導体メガ工場「Terafab」建設へ 第1段階投資168億ドル 5 Apple「A20 Pro」、DRAM不足で後工程停滞 約10億ドル分のウェハー滞留 6 メモリ高騰、MicrosoftとAppleに波及 Windows 11は8GB最適化、Appleは調達に苦戦 7 Nvidia、AIインフラ向け5000億ドル資金枠を協議 米大手運用各社と 8 Microsoft、AIチップ「Maia 300」増産へ TSMCと生産能力を協議 9 Anthropic、Claude生成文に不可視ウォーターマーク実装 10 警察庁、ランサムウェア「GUNRA」で注意喚起 日米共同で文書公表 1 iPhone 18 Pro、画面設計を刷新や2nm「A20 Pro」採用へ 注目の改良点6つ 2 スマートウォッチ疲れで広がるミニマル型ウェアラブル需要 3 Google、退役Pixelを再利用した低コストのデータセンター（DC）実験 約2000台規模へ 4 Apple、新OSでMacなど旧機種16モデルを対象外 iPhoneは対応据え置き 5 MacBookが買いやすい局面に Airと一部Proは値引き、Neoは599ドルから 6 Shiba Inuのサトシ・クサマ氏、Xで沈黙長期化 プロフィール更新のみ 7 Teslaのイーロン・マスク氏、「行き過ぎた自動化は誤り」 Model 3量産を回顧 8 GPT-5.6を非公開テストか ChatGPTで生成品質向上観測、遅延指摘も 9 シリコン負極、全固体電池に先行 EV電池の実用化競争で焦点 10 XRP、緩やかな上昇ではなく短期急騰も BlackSwan Capitalist創業者が見方
