AIと暗号技術を扱う記事が、OpenVMのゼロ知識仮想マシンでAIが見つけたバグを紹介している。
記事は、AIと暗号技術をテーマに、OpenVMのゼロ知識仮想マシンでAIが発見したバグを取り上げている。記事URLと、Hacker News上の投稿情報が示されている。
フィンランドのホテルTallukkaは、前年秋の買収額450,000ユーロに対し、今回のオンライン競売では最高入札が20万ユーロをわずかに上回った。
フィンランドのホテルTallukkaがオンライン競売で売りに出され、最高入札は20万ユーロをわずかに上回った。中国企業は前年秋に同ホテルを450,000ユーロで購入しており、今回の最高入札はその半分程度だった。
インドでは7月11〜17日のベンチャー投資が、AI案件にけん引されて前週までの低調な流入から回復した。
インドの7月11〜17日のベンチャー資金調達は、AI案件に主導されて増加した。直前の2週間は資金流入が低調だったが、今回の増加は市場にとって歓迎される動きとされている。
インドのRILは、前年同期に計上したAsian Paints関連の利益の反動もあり、4〜6月期の親会社帰属利益が前年同期比で減少した。
RILの4〜6月期の親会社帰属利益は20,946 croreドルとなり、前年同期の26,994 croreルピーから22%減少した。前年同期にはAsian Paintsの利益が含まれていた。
アゼルバイジャンとロシアは、2024年末の旅客機墜落を巡る問題を解決し、停止していた直行便を再開する方針を示した。
アゼルバイジャンとロシアは、2024年末の旅客機墜落後に停止していた直行便を再開する。ロシアのラブロフ外相は、旅客機撃墜に関する両国の問題が解決したと述べた。
AIスタートアップへのシード資金が膨らむなか、プレシード企業には確信とストーリーテリングで資金を呼び込む力が求められている。
AIスタートアップが多額のシード資金を集め、プレシード段階の資金調達が難しくなっている。TechCrunch Disrupt 2026では、製品がなくても確信とストーリーテリングでプレシード資金を得る方法を扱うセッションが予定されている。
中国Moonshot AIのオープンウェイトモデルKimi K3が、コーディングやエージェント系タスクの評価で米国の一部モデルを上回り、米中AI競争の接近を印象づけている。
中国のAIスタートアップMoonshot AIが、オープンウェイトAIシステムのKimi K3を公開した。Kimi K3は最上位の独自モデルには及ばない一方、コーディングやエージェント系タスクなどのベンチマークで一部の米国モデルを上回った。公開から1日以内にArenaのフロントエンドコーディング順位で首位となり、Artificial Analysisの評価では3位だった。
マレーシア・ヌグリスンビラン州の州首相選挙が、半導体・航空宇宙を軸にしたハイテク産業拠点構想の将来投資に不確実性をもたらしている。
ヌグリスンビラン州は、マレーシアの次のハイテク産業拠点を目指している。王室を巡る対立が8月1日の州議会選挙に発展し、既存案件よりも将来の投資や州の政策環境に不確実性を与えている。
ベセスダがXboxの体制見直し後の『Fallout』開発計画を示し、『Fallout 5』などの開発を確認した。
ベセスダは、Xboxの体制見直しを受けた『Fallout』シリーズの新たな開発計画を発表した。『Fallout 5』と、Obsidian Entertainmentとの新作を開発中だと確認した。