"AI"検索結果
2026-06-18 08:21

Pramaana Labsは$27M シードラウンドを調達:LEAN ProofsによるAI形式検証向け

Beatingによると、AI形式検証のスタートアップであるPramaana Labsは、Khosla Venturesが主導し、Accel、BoldCap、Nexus Venture Partners、Premji Invest、Unboundが参加した$27 millionのシードラウンドを完了しました。 同社は、数学的定理を検証するためのオープンソースのプログラミング言語であるLEANを使用して、法、医薬品開発、税務コンプライアンスといった高リスクな業界向けに、大規模言語モデルの上に決定論的な検証レイヤーを構築しています。 Pramaanaは、税務アプリケーションのために元アメリカ国税庁(IRS)コミッショナーのDanny Werfelと協力しており、サイバーセキュリティおよび医薬品開発の検証システムについては、IITデリー、IITマドラス、UCバークレーの教授陣と連携しています。
もっと
2026-06-18 08:13

SpaceXの株は寄り前で1.7%上昇;アナリストは2030年までに「1兆ドル」の売上目標に疑問を呈す

マン・グループのアナリスト、ダン・テイラー氏がDow Jones Newswiresを通じて述べたところによると、SpaceXの株価は木曜(6月18日)の時間外取引で1.7%上昇し、前日の5%下落に続いた。テイラー氏は、2030年までに年商$1 trillion(10億ドル)を達成するというイーロン・マスク氏の見通しについて同社が到達できるのか疑問を投げかけ、「明確なAIの物語」というよりもSpaceXの評価額は「最高経営責任者のイーロン・マスクへの賭け」を反映していると述べた。 SpaceXは2025年に49億ドルの純損失、さらに2026年Q1にも42.8億ドルの損失を計上した。株の直近の下げは、火曜にSPCXのオプション取引が開始されたことと時期が重なっており、これによって弱気の投資家は株に対して賭けるための最初の手段を得た。テイラー氏は、今後のAI関連のIPOの持続可能性は、現在のAIへの支出が実際の商業的リターンを生み出すかどうかにかかっていると付け加えた。
もっと
2026-06-18 07:41

Manifold AI は、競合のパラメータの10%を使用して WorldScape のロボットモデルにより、数十億人民元規模の資金調達を完了しました

Beatingニュースのモニタリングによると、Manifold AI(Manifold Space)は数億人民元規模の新たな資金調達ラウンドを完了し、Pre-Aの累計調達額を約10億人民元にまで引き上げました。投資家には、中国新基金、Temasekが支援するPinnacle Capital、BAIC Investment、そしてXineng Venture Capitalが含まれます。 同社が自社開発したWorldScapeのリアルタイム・ワールドモデルは、ロボティクス向けの事前学習基盤として機能し、デュアルなモバイルおよびマニピュレーションのインタラクションをサポートしています。専門家混在(mixture-of-experts)アーキテクチャを用いて、WorldScapeは主要競合のパラメータの10%しか使わないにもかかわらず、WorldScoreベンチマークで約2か月間トップの順位を維持してきました。WorldScape Policyのモーションモデルと組み合わせることで、このシステムは複雑な照明や背景の干渉をフィルタし、ゼロショットでの精密制御を可能にします。このプラットフォーム
もっと
2026-06-18 06:31

上海証券取引所、6月18日に収益のないAI企業向けのスターマーケット上場ルールを拡大

サウスチャイナ・モーニング・ポストによると、6月18日、上海証券取引所はスター市場の上場ルールを拡大し、採算の取れていない大規模言語モデル(LLM)開発者も上場申請できるようにした。上場資格のある企業は、市場価値で少なくとも40億人民元(US$591 million)に到達すると見込まれ、少なくとも1つのLLMプロダクトを規模をもって運用しており、明確な事業化計画を持っている必要がある。 また同取引所は、6月17日に量子技術、生物医学、 水素、核融合、 脳コンピューター・インターフェース、ロボティクス、 第6世代モバイル通信(6G)についてもスター市場のルールを修正し、より柔軟な上場基準によってAIやその他の戦略分野を支援した。
もっと
2026-06-18 06:30

韓国の金融委員会が6月22日に7つの原則に基づくAIガイドラインを導入

Odailyによると、韓国の金融サービス委員会は6月18日に、6月22日からすべての金融機関およびフィンテック企業に適用される改訂AIガイドラインを公表した。この枠組みは7つの原則、すなわちガバナンス、適法性、補完性、信頼性、金融の安定性、誠実義務、セキュリティを定めている。 6月22日、韓国金融監督当局はAIリスク管理の枠組みを同時に公表し、金融安全保障研究所はAIセキュリティガイドラインを公表する。政府はさらに、サイバーセキュリティ分離要件を緩和し、データ匿名化手続を見直す計画もある。
もっと
2026-06-18 06:30

Builderbot AIツールのブロックローンチ:制作コード変更の15%を処理

Odailyによると、Blockは、約15%の本番コード変更を扱えるAIネイティブの開発ツールキット「Builderbot」の提供開始を発表した。このツールは毎日20万回以上の操作を実行し、毎週約1,500件のプルリクエストをマージする。単一のリポジトリに限定されるのではなく、同社のコードベース全体にわたって複数のAIエージェントを連携させるオーケストレーション層として機能する。
2026-06-18 06:29

OdysseyはシリーズBで$310M を調達し、世界モデル開発でAWSと提携します

Beatingによると、生成型ワールドモデルのスタートアップであるOdysseyは、3億1000万ドル規模のシリーズB資金調達ラウンド完了を発表し、企業価値を14億5000万ドルと評価した。このラウンドはNatural Capitalが主導し、Amazon、Google Ventures(GV)、AMD Ventures、EQT、In-Q-Tel(IQT)が参加した。Odysseyは、AmazonのAnnapurna Labsと提携し、AWS TrainiumのAIアクセラレーションチップ上で同社のワールドモデルを最適化して、普遍的な物理シミュレーションを実現する予定だ。
2026-06-18 06:20

ByteDanceのMicrosoft向けAI支出は年あたり10億ドルを超える見込み

ブルームバーグによれば、出所を引用して、ByteDanceのマイクロソフトに対する人工知能およびクラウドサービスの年間支出は10億ドルを超える見通しだという。情報筋によると、ByteDanceは近年、主にOpenAIのモデルを利用してきたことから、マイクロソフトの最大級のAI顧客の1社となっている。
2026-06-18 06:05

SpaceX の評価は AI セクターの健全性とは切り離されており、エロン・マスクへの信頼プレミアムを反映しているとマン・グループのアナリストが述べた

Man GroupのDan Taylorによると、6月18日時点でSpaceXの評価額はAIセクター全体の健全性を反映しておらず、真のAI主導の物語というよりは、CEOのElon Muskに対する個人的な信頼プレミアムを表している。Taylorは、SpaceXがMuskの掲げる2030年の売上目標$1兆(1兆ドル)を達成する可能性は低い一方で、Muskの実績に対する投資家の信頼は、この「信頼プレミアム」要因によって同社の評価額を維持するのに十分だと指摘した。
SPCXX8.00%
2026-06-18 06:01

Tempoは、AIエージェントの資金調達を支えるために複数の支払い方法に対応したMPPクレジットを提供開始します

Foresight Newsによると、決済ブロックチェーンのTempoはMPP Creditsを立ち上げ、開発者がMachine Payments Protocolサービス向けに、まずステーブルコインに変換することなく、クレジットカード、デビットカード、Apple Pay、またはGoogle Payを通じてAI Agentsに直接資金提供できるようにした。MPP CreditsはTempoのウォレットに保存され、MPPに対応するすべてのサービスで利用可能であり、Tempo上で商人はUSDC.eで即時に決済できる。この機能は、ライセンスを受けた決済プロバイダーCoinflowによって支えられている。