フランスのAIスタートアップのMistral AIが、数学的証明やソフトウェア仕様の検証などを支援するAIモデル「Leanstral」を公開しました。Leanstralは形式証明ツール「Lean ...

ゲームの説明文を与えると、AIがGodot Engine ...

ウェブサイト制作プラットフォーム「Wix(ウィックス)」を展開するイスラエルWix.comの日本法人、Wix.com Japanは、本社が2025年に買収したイスラエル発スタートアップのBase44(ベースフォーティーフォー)が、同社のAI(人工知能 ...

Hype around the open source agent is driving people to rent cloud servers and buy AI subscriptions just to try it, creating a ...

The sixth edition of Inc42’s AI Startups To Watch comprises names like EarthSync, Mindcase, Potpie AI, Tattvam AI and Trupeer ...

～開発生産性39％向上を実証。2028年末までに5,000社への導入を目指し、全世界へ展開開始～ エンジニアプラットフォームを提供するファインディ株式会社（東京都品川区、代表取締役：山田 ...

C al Newport has been described as the “man who never procrastinates,” so I expected him to be punctual for our interview. He ...

Overview Curated list highlights seven impactful books covering fundamentals, tools, machine learning, visualization, and ...

OpenAI plans to introduce its AI video generator Sora inside ChatGPT in the near future, The Information reported Tuesday, ...

Krea AI has recently closed a significant funding round, bringing its total raised capital to an impressive $83 million. This funding journey wasn’t a single event but rather a series of strategic ...

【プレスリリース】発表日:2026年03月13日データブリックス、データ業務にエージェント型エンジニアリングをもたらす「Genie ...