Harmonic、AIをソフトウェア分野へ拡大
RobinhoodのCEOヴラッド・テネフ氏が共同設立したAIスタートアップHarmonicは、アリストテレスモデルを数学的証明からソフトウェアおよびチップ設計の検証へと拡大している。推論に特化した同システムは、ハルシネーションを削減し、複雑なコードを検証することを目指している。
Xurve View
インサイト:
Xurve View

ヴラッド・テネフ氏が共同設立した人工知能スタートアップのHarmonicは、以前に調達した1億2000万ドルの資金を基盤に、アリストテレスモデルをソフトウェアおよびチップ設計の検証へと拡大した。推論に焦点を当てたこのAIシステムは、ハルシネーションを低減しながら、ソフトウェアの欠陥検出に対する精度を高めることを目指している。米国のエンジニアリング研究所で自動コード検証の導入が進む中、投資家は商業展開の評価を進めている。






