BTC $77,280.84 -5.37%
ETH $2,220.21 -6.10%
BNB $698.87 -6.75%
XRP $1.25 -4.29%
SOL $94.55 -7.87%
TRX $0.3348 +1.13%
DOGE $0.0756 -6.23%
ADA $0.1918 -6.84%
BCH $291.79 +1.36%
LINK $11.07 -7.32%
HYPE $92.18 -2.03%
AAVE $125.62 -8.26%
SUI $0.8876 -6.70%
XLM $0.1719 -0.46%
ZEC $1,228.68 -9.53%
AAPL $346.42 -0.92%
AMZN $239.09 -3.25%
GOOGL $282.52 -1.65%
MSFT $522.94 -0.24%
META $622.49 -1.32%
NVDA $205.75 -3.93%
TSLA $400.62 -1.45%
SNDK $1,172.33 -14.42%
INTC $64.89 -30.19%
SPCX $138.47 -3.91%
MU $883.03 -6.98%
AMD $508.13 -11.32%
BTC $77,280.84 -5.37%
ETH $2,220.21 -6.10%
BNB $698.87 -6.75%
XRP $1.25 -4.29%
SOL $94.55 -7.87%
TRX $0.3348 +1.13%
DOGE $0.0756 -6.23%
ADA $0.1918 -6.84%
BCH $291.79 +1.36%
LINK $11.07 -7.32%
HYPE $92.18 -2.03%
AAVE $125.62 -8.26%
SUI $0.8876 -6.70%
XLM $0.1719 -0.46%
ZEC $1,228.68 -9.53%
AAPL $346.42 -0.92%
AMZN $239.09 -3.25%
GOOGL $282.52 -1.65%
MSFT $522.94 -0.24%
META $622.49 -1.32%
NVDA $205.75 -3.93%
TSLA $400.62 -1.45%
SNDK $1,172.33 -14.42%
INTC $64.89 -30.19%
SPCX $138.47 -3.91%
MU $883.03 -6.98%
AMD $508.13 -11.32%

ラリ

すべて
記事
速報

オーストラリアの暗号資産管理会社 DigitalX の総資産が 6070 万オーストラリアドルに上昇しました。

オーストラリアの暗号資産管理会社 DigitalX が9月の四半期報告を発表しました。9月30日現在、同社の現金、デジタル資産および投資総額は6070万オーストラリアドルに達し、前四半期比で約580万オーストラリアドル増加しました。現金および現金同等物は3230万オーストラリアドルに増加し、負債はなく、主に7月に80枚のビットコインおよびその他のデジタル資産を売却したことに起因しています。ビットコイン戦略財庫の保有は約2650万オーストラリアドルで、直接保有している30枚のビットコインおよび約2290万オーストラリアドルの DigitalX Bitcoin Fund の単位を含みます。同社は1.2億株の自己株式買戻しを完了し、株主に310万オーストラリアドルを還元しました。買戻し価格は純資産価値に対して約30%のディスカウントとなり、11月26日の株主総会で再度1.2億株の買戻しの承認を求める予定です。傘下の DigitalX Bitcoin ETF の四半期リターンは42%で、純資産は4500万オーストラリアドルに上昇しました。同社は3000万オーストラリアドルのAIおよびブロックチェーン投資買収計画を継続的に推進する計画です。さらに、10月16日に1枚のビットコインを約8.2万ドルの平均価格で約30枚売却しました。

first_img Anthropic:Claudeは大規模な形式検証オープンソースライブラリを開発しました。

人工知能会社 Anthropic の Frontier Red Team は 10 月 22 日に研究を発表し、大規模な形式的証明を自動的に作成できる大規模言語モデルが存在することを示しました。チームは Theorem と協力し、Claude を使用して RISC-V アセンブリレベルで 100 以上の実際のオープンソースライブラリの安全性を証明し、これは AI を用いてアセンブリレベルで生産ソフトウェアに対して大規模な形式的検証を行った初めての事例であると述べています。証明の過程で、数年にわたり発見されていなかった脆弱性も発見されました。実験では、Google OSS-Fuzz に既に存在するコンパイル可能なファズテストを仕様に変換しました:単一スレッドの静的バイナリ、固定メモリ予算、RISC-V CPU および Linux などの仮定の下で、64 MB 未満の任意の入力に対して、プログラムは正常に終了し、メモリ安全性エラーやアサーション失敗を引き起こさないべきです。数週間以内に、Claude は発見された問題を修正した後、123 の OSS-Fuzz ライブラリの 239 のエントリポイントに対して上述の性質を証明しました。証明はコンパイル後の RISC-V 命令に対して行われ、約 1.8 億行の Rocq によってチェックされました。ページでは、これらのライブラリに脆弱性がないことを意味するものではなく、残りの問題は信頼されたコンポーネントや証明の範囲外にある可能性があると述べています。ページではさらに、チームが Claude に RFC 1950 を形式化させ、x86 バイナリレベルで Linux カーネル内の zlib 実装がその仕様に準拠していることを証明させたと述べています。また、Rust で書かれた Python の大部分をカバーするインタプリタは、170 万以上のランダム生成プログラムと CPython の動作が一致する割合が 99.95% であることを示しました。36 の小規模な検証タスクにおいて、Opus 5.5 はその半分に必要なトークンが Opus 5 より約 40% 少ないことを証明しました。チームは同時に、証明が単一スレッド、静的リンクの RISC-V バイナリに対して行われ、証明チェッカーが仕様が現実に適合しているかどうかを判断できないことを指摘しました。

first_img ブラックロック CEO ラリー・フィンク:データセンターの建設を停止するとアメリカの衰退を招く可能性があり、40兆ドルの債務に警告

世界最大の資産管理会社ベライドのCEOラリー・フィンクは水曜日にCNBCのインタビューで、アメリカがデータセンターの建設に「何らかの一時停止」を実施すれば、アメリカ経済はリセッションに陥ると述べました。彼は「私たちの経済の大部分はこのような資本支出の拡大に基づいている」と言いました。データセンターは大量のコンピュータを収容し、人工知能に計算能力を提供する建物であり、フィンクの発言は環境への影響を懸念してデータセンターの建設を停止するよう求める声に対するものでした。フィンクはデータセンターに対する懸念を否定し、大部分の恐れは「誤情報」に属するとし、「データセンターは問題ではない」と強調し、建設労働者、エネルギーインフラ、AI計算能力ハードウェアにおける雇用需要を指摘しました。ピュー研究所の調査によると、少なくとも49%のアメリカ人がデータセンターは環境や周辺住民の生活の質に悪影響を与えると考えています。ムーディーズは、今年のアメリカのデータセンターの資本支出が7000億ドルに達し、2030年までに累計で2.4兆ドルから2.48兆ドルに達すると見込んでおり、世界全体では今十年末までに7兆ドルに達するとしています。フィンクは同時に政府の債務問題について警告し、アメリカの財政赤字が深刻な影響を及ぼしていると述べ、国家債務は2000年の8兆ドルから2026年には40兆ドルに増加し、「26年間で32兆ドル増加」し、信用需要に巨大な衝撃を与え、国債の入札規模がますます大きくなっていると指摘しました。彼はアメリカ経済が3%の成長を実現するためには民間資本を解放する必要があると考えています。ベライドの第3四半期の純流入は2050億ドルで、収益は19%増加し、調整後の1株当たり利益は前年同期比で38%増加し、営業利益率は47.8%に上昇しました。

first_img オーストラリアのASICは、CFD投資家保護を暗号決済デリバティブに拡大することを検討しています。

Cointelegraph の報道によると、オーストラリア証券投資委員会(ASIC)は、差金決済取引(CFD)の規制範囲を拡大し、デジタル資産を用いた決済のデリバティブを含めることを提案しています。ASIC は、CFD の定義にデジタル資産を移転して決済する契約を追加したいと考えており、現金またはオフセット取引による決済に限られなくなります。ただし、これらの契約は他の CFD の認定基準を満たす必要があります。この提案が承認されれば、暗号決済 CFD を利用するオーストラリアのトレーダーは、現金決済 CFD トレーダーと同じ保護を受けることができます。ASIC は、特定の固定期限を持つ暗号先物およびオプションはこの枠組みの外に置かれることを明確にしています。CFD は、トレーダーが基礎資産を保有せずに価格変動を取引することを可能にします。オーストラリアで 2021 年から実施されている現行の枠組みには、レバレッジ制限、強制的な追加証拠金の清算、負の残高保護などの保護措置が含まれており、負の残高保護は顧客の損失をその CFD 取引口座内の資金の範囲に制限します。ASIC は、提案された拡張と改訂について業界および利害関係者からの意見を求めており、締切は 11 月 9 日です。この動きは、オーストラリアがより広範なデジタル資産の規制を強化している時期に行われています。今年 4 月、オーストラリアは立法を通じて、暗号取引所とトークン化された保管プラットフォームを金融サービスライセンスの枠組みに組み込み、新制度は 2027 年 4 月 9 日に発効します。ASIC はまた、既存の金融サービス法に基づく一時的な執行免除に依存している暗号企業に対し、9 月 30 日までにライセンスを申請するか、既存のライセンスの変更を求めるよう求めています。

first_img オーストラリアのAIデータセンター運営会社FirmusがIPOを撤回、当初の計画では500億ドルを調達する予定だった

英伟达の支援を受けたオーストラリアのAIデータセンター運営会社Firmusは、CNBCに対し、電子メールで市場の変動と市場状況を理由に計画されていた大型IPOを撤回したと述べました。取締役会は、提案された発行条件が事業の強さと長期的な成長の見通しを十分に反映していないと考え、発行を進めることは会社および株主の最善の利益に合致しないと判断しました。会社はプライベートマーケットでの資金調達に移行し、他の公開およびプライベートマーケットの選択肢を検討すると述べています。報道によると、FirmusはIPOを通じて50億ドルを調達する計画で、株価は1株あたり11オーストラリアドルに設定されており、実現すればオーストラリアの歴史上2番目に大きな新規株式発行となり、評価額は約306億ドルとなる見込みでした。2026年8月、同社は20億ドルの資金調達を完了したと発表し、投資家には英伟达、Coatue Management、Blackstone、Jane Streetが含まれています;前の年には累計で30億ドル以上の株式資金調達を行い、評価額は105億ドルを超えました。先月、FirmusはMetaとの契約を発表し、東南アジアにおいて英伟达のDSXプラットフォームに基づくAIデータセンターでGPU計算能力を提供し、MetaのAI研究、モデル開発、トレーニングに使用されることになりました。

first_img DeepSeek オープンソース昇腾基盤コンポーネント、コンパイル、計算および通信ライブラリをカバー

人工知能会社 DeepSeek は、Huawei Ascend プラットフォーム向けの基盤コンポーネントを正式にオープンソース化しました。これには、TileLang 高級言語コンパイラ、計算ライブラリ、分散通信ライブラリが含まれ、以前の NVIDIA プラットフォーム向けのオープンソースコンポーネントと一対一で対応しています。TileLang は、汎用性が高く、プログラミングが簡単で、ハードウェア性能の上限に達する高級言語を提供することを目的としており、CUDA に比べて開発効率を向上させ、ロジックを簡素化します。また、そのプログラミングモデルはチップの特性を活かすことができます。TileLang のルートは最初に NVIDIA プラットフォームで検証され、DeepSeek V4 シリーズモデルのトレーニングにおける大部分のオペレーターの実装を担っています。今回オープンソース化された Ascend バージョンは、Ascend C の低レベル命令をラップし、ハードウェア性能を損なうことなく高級言語プログラミング方式を提供します。現在、DeepSeek のトレーニングで使用されているすべての TileLang オペレーターは、Ascend 上で対応する高性能実装があります。同時にオープンソース化されたコンポーネントには、DeepGEMM、DeepEP、TileKernels、FlashMLA、DeepSelect が含まれ、それぞれ汎用行列演算、大規模なデバイス間通信、通常のベクトル計算とメモリアクセス、長いコンテキストのスパースアテンション、データフィルタリングに使用されます。DeepSeek は、複数の重要なテストにおいて関連する計算と通信性能がハードウェアの上限に近づいていると述べています。研究開発プロセスにおいて、Huawei チームがサポートを提供し、両者は Ascend 950 に基づく 128 カードのスーパー ノードソリューションを推進し、計算と通信の深い最適化を行いました。

first_img オーストラリアの首相:OpenAIの知能体が初めて政府のウェブサイトに侵入しました

オーストラリアの首相アンソニー・アルバニージは水曜日、ニューヨークで記者に対し、OpenAIが構築したAI知能体が今年6月にオーストラリア政府のウェブサイトMedicare Statistics Reporting Serviceポータルに侵入し、許可なく公開および非公開の文書にアクセスしたと述べました。このポータルはServices Australiaによって管理されており、Medicareの支出データなどの非機密情報が保存されています。これは、AI知能体が政府のウェブサイトに侵入したことが確認された初めての事例のようです。アルバニージは、現在のところ個人情報がアクセスされたとは考えていないが、オーストラリア信号局が証拠収集調査を支援しており、他にどの政府システムが影響を受けている可能性があるかを特定しようとしていると述べました。彼は、OpenAIのCEOサム・アルトマンに直接この件を提起し、同社が政府に通知するのに約3か月かかったことに失望しており、通知の方法も同様に受け入れられないと考えていると述べました。OpenAIはオーストラリアのABCニュースに提供した声明の中で、トレーニングおよび評価期間中に発生したモデルの行動偏差を検討しており、内部評価においてオーストラリアに関連する回答や統計データを照会する際に、複数のオーストラリア政府ウェブサイトに関与する活動を特定したと述べています。モデルは「私たちが意図したものではない行動を取った」としています。

first_img オーストラリア 40 年経済展望は AI 革命を認め、暗号については言及していない

オーストラリア財務省は9月22日に最新の《世代間報告書》(Intergenerational Report)を発表しました。この40年の経済展望では、人工知能が将来の経済に深刻な影響を与える5つの重要な変革の1つとして挙げられていますが、全文では暗号通貨については言及されていません。報告書によると、AIシステムは「著しく」自律的で強力かつ広く応用されるようになり、一部のベンチマークテストでは人間のレベルを超えるパフォーマンスを示しています。残りの4つの変革は、地政学的対立、人口の高齢化、クリーンエネルギーへの移行、そしてオーストラリアのサービス産業への産業転換です。Coinbaseオーストラリアの国ディレクターであるJohn O'Loghlenは、メールでのコメントで、報告書はオーストラリアの今後40年の繁栄が新技術の採用と生産性向上の能力に大きく依存することを明確に示していると述べましたが、報告書が人工知能に重点を置く一方で、これらのエージェントに必要な金融インフラを完全に見落としていると指摘しました。以前の《世代間報告書》でもデジタル資産については言及されていませんでした。見落としがあるにもかかわらず、オーストラリア準備銀行は今年初めにトークン化された金融と金融インフラのアップグレードに対する関心を高めており、デジタル金融協力研究センターは、デジタル金融革新が毎年240億オーストラリアドル(約171億ドル)の経済的利益をもたらすと推定しています。財務省が9月3日に別途発表した《金融革新戦略》報告書では、AIと金融インフラの関連について言及されており、エージェントシステムが自動化や機械間取引を増加させ、リアルタイムで相互運用可能かつプログラム可能な支払いシステムに対する需要が高まる可能性があると述べています。
app_icon
ChainCatcher Building the Web3 world with innovations.