创业公司 に関するニュース

海外

数学でバイブスコーディングに保険をかける——&Truthが形式検証という難題に挑む

AIが生成したコードの正確性を数学的に証明する「形式検証」の自動化に、新興スタートアップ&Truthが参入した。バイブスコーディングの普及でコード量が急増する中、検証技術が次世代AI開発ツールの信頼性基準を左右する可能性がある。

形式验证 氛围编程 AI编程 软件可靠性
445
海外

元ホワイトハウス報道官がAI希土類企業の顧問として無断掲載——真相はさらに奇妙

元ホワイトハウス報道官のケイティ・ザカリアが、南ダコタ州知事と関連するAI採掘スタートアップの顧問として公表されていたが、当の本人も企業側も「在籍したことは一切ない」と否定するという奇妙な事態が発覚した。WIREDの報道を受け、政治と商業が

AI采矿 稀土 白宫 创业公司
568
海外

HoneyjarがAIで広報プロセスを再構築——企業コミュニケーションから「運任せ」を排除

スタートアップ企業Honeyjarは、AIを活用して従来の広報プロセスが抱える構造的な問題を解決しようとしている。メディアマッチングのインテリジェント化からコンテンツ生成の個別最適化まで、あらゆる企業が体系的な広報戦略を実施できる環境の実現

AI公关 Honeyjar 企业传播 TechCrunch
1,019
海外

六年間の苦闘:Danu Roboticsはいかにしてより優れたリサイクルロボットを開発したか

リサイクル分別の難題に挑むDanu Roboticsの創業者Amy Maが、6年間をかけてAI視覚技術と機械アームを組み合わせたインテリジェント分別システムの開発に取り組んできた軌跡を追う。技術的課題と商業化の壁の両方に直面しながら、リサイ

回收机器人 AI分拣 Danu Robotics 环保科技
1,226
海外

元会計士がAIでTabbyを開発、会計士の仕事を奪うことを目指す

元会計士が創業したTabbyは、AIを活用したリアルタイム記帳サービスで、従来の「事後入力」型の会計処理を刷新しようとしている。会計業務の自動化が加速する中、会計士という職業そのものを不要にすることを掲げた取り組みとして注目されている。

AI记账 财务自动化 会计行业 创业公司
483
海外

教科書がTikTokに:ScrollEdが学習を短動画スクロールのように変える

カリフォルニア州パロアルトのスタートアップScrollEdが、従来の教科書をInstagramのような無限スクロール型フィードに作り変え、短動画・音声解説・小テストで学習体験を刷新しようとしている。「注意力の争奪戦」が教室にまで及ぶ中、その

教育科技 短视频学习 ScrollEd TechCrunch Disrupt
537