Gateインサイトと暗号資産市場分析

Axiom Mathは水曜日、人類がこれまでに書いた数学書の中でも最大級の一つであるStacks Projectを形式検証したと発表した。評価額16億ドルのスタートアップは、AIエージェント群を使い、ライブラリのおよそ7,654ページを約1,600万行のコンピューター検証済みコードに変換した。同社は、AIエージェントがソフトウェアを書き、最終的には科学研究を行う際に頼れる、検証済みの基盤を築くことを目指しており、AIが生成する数学の誤りへの懸念に対処しようとしている。先月、OpenAIだけで、同分野の最難関問題のいくつかを解決したと主張する論文を719本公開し、正確性への疑問が高まった。数学者たちはStacks Projectを特別な敬意をもって見ることが多く、コロンビア大学の数学者Peter Woitは「本当に比較できるものはほかにない」と述べ、20世紀に数学を基礎から再構築したことで知られるブルバキの書物になぞらえている。 Axiom Math、AIエージェントを使ってStacks Projectを形式検証 コロンビア大学の数学者Johan de Jongは、オープンソースの参考資

Samsungは2026-11-05T13:00:00+08:00、2026年未来技術育成事業の年次フォーラムを開催した。イベントには科学技術分野の関係者や研究者約450人が集まった。Samsungは、基礎科学、素材、ICT分野で完了した644件の研究課題を審査し、初めて優秀研究者10人を選定した。フォーラムでは、ブラックホール、次世代エネルギー貯蔵、AIインフラに関する研究が紹介された。またSamsungは、選定された研究者を対象に、技術コンサルティング、産業界との交流、スタートアップおよび知的財産に関するメンタリング、後続研究支援、技術ワークショップを実施する方針を示した。 Samsung、未来技術分野の優秀研究者10人を選定 Samsungは、Samsung未来技術育成事業を通じた14年間の支援を経て、研究者を選定した。審査では、研究の優秀性、研究成果の拡張性、研究者の成長可能性、学界および産業界への影響を評価した。各分野の学者で構成された審査委員会が、約4カ月にわたり審査を行った。 選定された研究者10人の内訳は、基礎科学分野が4人、素材・ICT分野が6人。基礎科学分野では、数

Tencentは11月2日から5日まで開催された2026年世界インターネット大会烏鎮サミットで、AIの取り組みを紹介した。同社はWorkBuddy、大規模言語モデルのHunyuan Hy4、AIエージェント、データガバナンス、教育、公益、文化振興にわたるAIアプリケーションを発表した。このイベントでは、単体のツールから、個人、組織、産業で展開・管理できる能力へとAIを発展させるTencentの取り組みが取り上げられた。 Tencent、WorkBuddyとAIエージェントのエコシステムを紹介 Tencentは「Hey, my AI Buddy」をテーマにサミットに参加し、大規模モデルから生産活動や日常生活のパートナーへとAIを発展させる方法を紹介した。AIエージェントの体験エリアでは、来場者がモバイル端末で会話し、WorkBuddyなどのインテリジェントパートナーを起動して、リモートで実行される専門的なタスクを体験した。大型スクリーンには、計画、検索、ツール呼び出し、コンテンツ生成がリアルタイムで表示され、完了したタスクや文書はWeChat、QQ、WeComで確認できた。仮想クレーンゲ

AMDは本日、IBMおよびオークリッジ国立研究所とともに、新たな量子誤り訂正コデザインプラットフォームに参加すると発表しました。このプラットフォームは、AMD Instinct MI355X GPUと第5世代AMD EPYC CPUを搭載したORNLのUmbra高性能計算システムに、IBMの量子コンピューターを接続します。この共同研究は、量子誤り訂正や科学計算ワークロードを含む、将来のハイブリッド量子システムに必要なアーキテクチャ、ソフトウェア、ワークフローを評価することを目的としています。 IBMとORNL、量子誤り訂正コデザインプラットフォームを構築 この新たなコデザインプラットフォームは、IBM、ORNL、AMDが、量子処理、古典計算、ソフトウェアを大規模に連携させる方法を調査するための共有環境を提供します。IBMは量子コンピューティング技術を、ORNLは科学研究と計算環境を、AMDは量子処理を科学計算ワークロードに接続するための古典コンピューティング技術とオープンソフトウェアを提供します。 最初の導入では、120量子ビットのIBM Quantum Nighthawkを含むIBM

11月5日、Alibaba CloudのLingjun Zhenwu M890スーパーノードが、Kimi K3.1 Proモデルの重みに対するDay0適応を完了した。この適応はMoonshot AIのKimiモデルを対象に実施され、オープンソース推論フレームワークのvLLMおよびSGLang上で、ワークフロー全体を通じて検証された。Kimi K3.1 Proの総パラメータ数は2.8兆で、このモデルとAlibaba Cloudのスーパーノード基盤、主要なオープンソース推論ソフトウェアが連携した。 Alibaba CloudのM890、Kimi K3.1 Proの重みへの適応を完了 Alibaba CloudのLingjun Zhenwu M890スーパーノードが、Kimi K3.1 Proモデルの重みに対するDay0適応を完了した。情報源では、このモデルはMoonshot AIのKimiモデルとされ、適応は11月5日に完了したと記されている。 Day0適応に続いて、vLLMおよびSGLang上でワークフロー全体の検証が行われた。情報源では、これらは主要なオープンソース推論フレームワーク2

米リッチモンド地区連銀のバーキン総裁は5日、需要が堅調で失業率が低い中、インフレ率がFRB目標の2%を上回る水準で高止まりしているため、金利を緩やかなペースで引き上げることが理にかなうと見解を示した。バーキン氏は過去1年半のコスト圧力（関税、石油、ディーゼル燃料、医療費など）が幅広い分野に及んでいると指摘した。FRBは10月27-28日のFOMC（連邦公開市場委員会）で金利据え置きを決定。次回のFOMCは12月8-9日に開く予定である。 バーキン総裁が政策金利の緩やかな引き上げが理にかなうと述べた背景 バーキン氏はノースカロライナ州シャーロットで開かれたリッチモンド地区連銀主催の企業向け

2018年に連続起業家のMarc Loreが創業したフードスタートアップのWonderは、新規株式公開（IPO）に向けて非公開で申請書類を提出したと、同社が木曜日に発表した。Loreは9月にCNBCに対し、IPOによる調達資金でWonderはさらなる買収を行い、食をより身近なものにするという目標に取り組めると語った。今回の申請は、消費者センチメントの低迷が最近レストラン株の重しとなり、市場の変動により、さまざまな業界の企業にとってIPO市場が不安定になっている中で行われた。 Wonderは複数のレストランブランドを展開し、170カ所で営業 Wonderは「全国の最高のレストランがすべて一つの場所に集結」とうたい、自社の垂直統合型アプリでデリバリーとテイクアウトを利用できるようにしている。当初は、移動式キッチンを備えたスプリンターバンを使った新たなフードデリバリーとして構想されたWonderは、米国全土で約170カ所の実店舗へと成長した。各店舗では、多彩な料理を提供する20以上の「レストラン」のメニューを取り扱い、その一部には有名シェフのブランドが付いている。 インフルエンサー主導のレス

Fingerprintは2026年11月4日、拡張されたボット検知機能により、MetaのMuse、Spear StreetのInstinct、xAIのGrok Botなど、未申告のAIエージェントと推定されるトラフィックを特定できると発表した。同社によると、自らを明らかにせずに動作するAIエージェントや、署名付きトラフィックから移行するAIエージェントが増えている。Fingerprintのブラウザーレベルの可視性は、自動化された活動と正当な人間の操作を区別し、企業がトラフィックを許可、制限、またはブロックするか判断できるように設計されている。 Fingerprint、未申告のAIエージェントのトラフィックを特定 Fingerprintによると、2026年には、消費者や企業に代わってAIエージェントが行動することが主な要因となり、ウェブトラフィック全体の半分以上が人間によるものではなくなっている。Web Bot Authなどの業界標準は、AIエージェントが暗号技術を用いて身元を証明できるように設計されたが、著名なエージェントの間では、未申告で動作したり、署名付きトラフィックから移行したり

米労働省は現地時間5日、非農業事業部門の単位労働費用が第3四半期（7～9月）に季節調整済み年率換算で0.7%低下したと発表した。市場予想の0.6%上昇に反する結果となった。四半期ベースでの低下は、2025年第2四半期以来5四半期ぶりで、第2四半期の1.9%上昇から反転した。単位労働費用は、雇用主が生産物1単位を生み出すために労働者に支払う費用を示す。生産性の伸びが3.6%となり、時間当たり報酬の2.9%増を上回る一方、労働時間は0.1%増加したことで、低下が生じた。 第3四半期は生産性の向上が費用削減を促進 単位労働費用の0.7%低下は、報酬の伸びと生産性の伸びの差によるものだった。労働省の速報値によると、第3四半期の時間当たり報酬は2.9%増加し、生産性は3.6%上昇した。四半期中、労働時間は0.1%増加した。生産性の伸びが報酬の増加を上回ると、雇用主が生産物1単位当たりに支払う費用が少なくなるため、通常、単位労働費用は低下する。 製造業の生産性はまちまちな結果 製造業では、第3四半期に単位労働費用が2.7%上昇した。同四半期の製造業の生産性は0.3%上昇した。製造業の内訳では、耐久

連邦準備制度理事会と通貨監督庁は、Binanceのハッキングを受け、11月2日に米国の銀行に連絡した。規制当局は、10月29日の侵害で63億ドル相当の暗号資産が盗まれたことを受け、サイバーセキュリティ上の潜在的な脆弱性を評価した。連絡の目的は、金融機関が異常な活動を検知したか、または業務の中断を経験したかを確認することだった。今回の照会には、米国の貸し手がデジタル資産のカストディ、ステーブルコインの決済、暗号資産関連サービスへの関与を拡大するなか、暗号資産取引所のサイバーセキュリティリスクが従来型の銀行インフラに波及する可能性への懸念が表れている。 Reutersによると、連邦準備制度理事会と通貨監督庁の監督当局者は11月2日、銀行への連絡を開始した。当局者は、10月29日の攻撃を受け、貸し手が異常な活動を検知したか、または業務の中断を経験したかを尋ねた。この連絡は公表された正式な調査ではなく、いずれの規制当局も協議について確認していない。Binanceの侵害に関連して、米国の銀行システムへの攻撃が成功した事例は確認されていない。 Binance史上最大のハッキングを受け、米国の銀行が

11月5日、台湾の株式市場全体が42,000ポイントを下回るなか、国泰金控と中信金控の株価は上昇した。金融保険指数は14.81ポイント（0.41%）上昇し、3,638.85ポイントで取引を終えた。市場全体の下落は、米中間選挙がAI関連セクターに与える影響への懸念と、資本のデレバレッジが要因とされた。市場が不安定ななか、金融株は投資家の安全な避難先となり、主要金融持株会社2社はいずれも9月および年初からの9カ月間で好調な業績を報告した。 国泰金控、9月および年初からの9カ月間の業績を発表 国泰金控は、9月の純利益が67億2,000万台湾ドルだったと発表した。年初からの9カ月間の累計純利益は1,053億6,000万台湾ドルに達し、前年同期比40.9%増となった。1株当たり利益は6.94台湾ドルだった。また、株式売却益約1,184億台湾ドルを未処分利益に振り替えており、その90%以上を国泰人寿が占めている。 中信金控、9月および年初からの9カ月間の業績を発表 中信金控は、9月の純利益が93億5,800万台湾ドルだったと発表した。年初からの9カ月間の連結純利益は合計632億3,700万台湾ドル

11月5日、外国資本による売り圧力が続く中、台湾株が安値を更新する局面で、Ju Hongと台湾セメントは相対的な底堅さを示した。この2銘柄の伝統産業株は、より広範な市場の下落を背景に、安全資産の選択肢となる可能性があるとして注目を集めた。アナリストによると、Ju Hongは自社縫製工場の生産能力がフル稼働し、6カ月先までの受注を見通せる一方、台湾セメントの第3四半期売上高は417億5,000万台湾ドルとなり、前四半期比9.5%増だった。ワラント発行会社は、現在の市場環境では、これらの銘柄にディフェンシブ資金が流入する可能性があると指摘した。 Ju Hong、6カ月先まで受注を見通す、第4四半期も成長見込み アナリストによると、Ju Hong（1476）は現在、6カ月先までの受注を見通せる状況にあり、自社縫製工場の生産能力はフル稼働で、次シーズン向けの受注も受け始めている。米イラン和平交渉を巡る不確定要素が続く中でも、顧客の在庫水準は低く、新規顧客からの受注寄与も拡大している。第4四半期の売上高は前四半期比で1桁台前半の伸びとなり、前年同期比では約17%増になると推定される。 2027年

Arbitrumは、暗号資産分野で事業を拡大するスタートアップを支援するため、メンターシッププログラムを開始しました。第1期では13チームが参加し、TVLは合計$643K に達しました。参加チームの一つであるCarbon Terminalは、実践的な支援を受け、ベンチャーキャピタリストとのつながりを得ました。プログラムの公式発表によると、第2期の応募受付が始まっています。 第1期のTVLは$643K に到達 メンターシッププログラムの第1期には13チームが参加し、合計TVLは$643K に達しました。Carbon Terminalも参加し、実践的な支援を受けるとともに、ベンチャーキャピタリストとのつながりを得ました。プログラムの公式発表では、これらの成果が取り組みの有効性を示すものとして紹介されました。 スタートアップチーム向けに第2期の応募受付を開始 Arbitrumのメンターシッププログラム第2期への応募受付が始まりました。プログラムでは、参加者とベンチャーキャピタリストをつなぎ、成長機会の獲得を支援します。この取り組みは、暗号資産エコシステムにおけるイノベーションの促進に対するA

ExpediaのCEOであるAriane Gorin氏は木曜日、AIエージェントが顧客の予約行動に影響を及ぼしている兆候はまだ見られないと述べた。ただし、初期の兆候からは、業界に変化をもたらす可能性がうかがえる。CNBCのインタビューでGorin氏は、MetaのMuseやOpenAIのDotsのようなAIエージェントが、旅行のアイデア探しや旅行計画に役立つようになっている一方、顧客は従来の予約方法を使い続けていると認めた。こうした発言は、個人向けAIエージェントがExpediaのような既存の旅行プラットフォームにとって競争上の脅威になり得るのか、という高まる疑問に答えるものだ。 Expedia、AIエージェントと連携戦略に取り組む Gorin氏は、AIの検索結果に自社が表示されるようにし、エージェントが情報をどのように取得するかを把握し、必要な連携を確立するため、「すべてのエージェントと取り組んでいる」と述べた。「旅行のアイデアを探したり、旅行を計画したりするのにとても便利です」とGorin氏はインタビューで語った。「実際の予約方法が変わったとは、まだ感じていません」 CEOは、AIエ

ウェンディーズは木曜日、ネルソン・ペルツ氏のTrian Fund Managementが率いる投資家グループからの14億ドルの買収提案を拒否した。このグループは10月28日に、1株当たり7.35ドルの現金を提示していた。ハンバーガーチェーンの独立取締役委員会は、この買収提案はウェンディーズを「著しく過小評価」しており、CEOのボブ・ライト氏の下で進められている同社の事業再建戦略がもたらす可能性のある利益を反映していないと判断した。今回の拒否は、ペルツ氏とウェンディーズの数十年にわたる関係における最新の展開であり、厳しい市場環境の中、アクティビスト投資家が業績不振のレストランチェーンをますます標的にする状況で起きた。 ウェンディーズ取締役会、買収提案は同社を著しく過小評価していると判断 提案を行った投資家グループには、Trian Fund Management、投資会社のBlueFive CapitalとSixth Street Partners、そしてウェンディーズ最大級のフランチャイズ加盟企業の一つであるFlynn Groupが含まれていた。2月、ウェンディーズの取締役会は、Tria

イングランド銀行のアンドリュー・ベイリー総裁は11月5日（現地時間）、中東紛争の解決に向けた進展が見られるか、インフレ圧力リスクを和らげる新たな情報が得られない限り、さらなる政策金利の引き上げが正当化される可能性があると述べた。ベイリー総裁は、BOEが政策金利を3.75%から4.00%へ25ベーシスポイント引き上げた金融政策委員会の会合後の記者会見で発言した。総裁は、経済にはすでに大きなインフレ圧力が蓄積していると警告し、紛争が解決されないまま続く月が増えるごとにインフレ圧力が積み上がり、その影響を抑えるための対応が必要になると強調した。 BOE、政策金利を25ベーシスポイント引き上げ4.00%に イングランド銀行は11月5日（現地時間）、政策金利を3.75%から4.00%に引き上げた。ベイリー総裁は会合後の記者会見で、「経済にはすでに大きなインフレ圧力が蓄積している」と述べた。続く中東紛争への懸念を示し、「紛争が解決されないまま続く月が増えるごとに、経済に蓄積するインフレ圧力は大きくなり、その影響を抑えるために行動しなければならない」と説明した。 ベイリー総裁、中東紛争とインフレの推

米ダラス地区連銀のローガン総裁は10月30日、米連邦準備理事会（FRB）がインフレを抑制するには少なくともあと2回の利上げが必要だとの認識を示しました。ローガン氏は、ノースカロライナ州デビッドソン大学の学生向けに準備した講演原稿で、「現在の見通しを踏まえると、米連邦公開市場委員会（FOMC）が少なくともあと2回、0.25%ポイントの利上げを実施する必要があることは明確だ」と表明しました。これは、ウォーシュ議長が5月に就任して以降、米中銀当局者が示した金利指針の中でも最も明確なものの一つです。 ローガン総裁がFOMC利上げ政策を明確に主張 ローガン氏は今週のFOMCで、短期金利を現行の3.

AIインフラに注力するビットコインマイニング株は10月に35%下落したが、資産運用会社VanEckは11月4日のリサーチレポートで、投資家はこれらの企業が保有する電力資産の価値を見落としていると論じた。VanEckのアナリスト、Griffin MacMaster氏とMatthew Sigel氏によると、この下落は資金調達コストの上昇と、AIインフラ債務をめぐる懸念の広がりを反映している。ビットコインマイナーは、従来の暗号資産マイニングから、10～20年の長期契約に基づき、人工知能コンピューティング向けの電力接続やデータセンター施設を提供する事業へと移行している。 AIインフラ資金調達への懸念が広がり、ビットコインマイニング株が35%下落 10月の売りは、米国債利回りの上昇、インフレ懸念、人工知能セクター全体の資金調達環境の悪化を受けたものだった。VanEckによると、CoreWeaveの債券利回りは約15%に近づき、債券のクーポン率が約10%を下回る水準にとどまるなか、AIコンピューティングインフラを追加するための資金調達コストへの懸念が高まった。追跡対象のグループには、Cipher

暗号資産業界の支援を受けるスーパーPACのFairshakeは、11月3日火曜日、選挙で大きな痛手を受けた。Fairshakeが約5,600万ドルを投じて落選運動を展開したにもかかわらず、民主党のSherrod Brownがオハイオ州の上院選で勝利したためだ。Fairshakeは2026年の選挙期間中、政治広告に約1.54億ドルを投じ、その3分の1以上を、約5ポイント差で勝利したBrownの落選運動に充てた。議会で民主党が議席を伸ばしたことで、暗号資産業界が有利な法整備を推進するのは難しくなった。一方、Fairshakeには今後の選挙に向けて約5,600万ドルが残っており、Barry MooreやAdrian Boafoらが出馬した複数の予備選でも勝利を収めた。 Fairshake、Brownの落選を目指して5,600万ドルを投じるも失敗 Fairshakeは、2024年の選挙期間中に暗号資産分野で最も影響力のある政治勢力の一つとなった。同組織と関連団体は、2026年の選挙期間中、選挙広告に約1.54億ドルを投じた。オハイオ州の上院選は同組織にとって最も費用のかかった取り組みの一つとな