中国のAI企業・DeepSeekが、数学的推論に特化したAI・Proverの第2世代モデルである「DeepSeek-Prover-V2」を、Hugging FaceとGitHubに公開しました。同社の大規模言語モデル「DeepSeek-V3」のアーキテクチャを基盤としたMixture-of-Experts(MoE)モデルで、定理証明支援言語のLean 4 ...

DeepSeekが新しいマルチモーダルAIモデル「DeepSeek-OCR」をリリースしました。「OCR」は書類のスキャンなどに用いられる光学文字認識 (Optical Character Recognition)のことで、トークンを大幅に削減しつつ、大規模で複雑なドキュメントを処理できるモデルだとのことです。

GitHubは2025年1月29日、GitHubのAIプラットフォームGitHub Models上で、DeepSeek製の推論型AIモデルDeepSeek-R1が利用できるようになったことを発表した。現在はパブリックプレビューの状態。 DeepSeek-R1 is now available in GitHub Models (Public Preview) -GitHub Changelog ...

中国の AI スタートアップ DeepSeek（深度求索）は、2兆の英語と中国語のトークンに学習させた ChatGPT の競合で話題になったことがあるが、オープンソースの MoE（Mixture of Experts、タ […] Image credit: DeepSeek（深度求索） 中国の AI スタートアップ DeepSeek（深度求索 ...

会員（無料）になると、いいね！でマイページに保存できます。 ChatGPTでプログラミングをする「意外な利点」 『＃100日チャレンジ 毎日連続100本アプリを作ったら人生が変わった』（大塚あみ著、日経BP、2025年）という書籍が発売され、話題を呼んでいる。

米Microsoftは1月29日（現地時間）、中国のAIスタートアップ DeepSeek社が公開したLLM「DeepSeek-R1」を、自社製品の「Azure AI Foundry」プラットフォームおよび「GitHub」で提供開始すると発表した。1,800を超えるモデルを有するAI開発プラットフォーム「Azure AI Foundry」の ...

1月27日のニューヨーク株式市場で、半導体大手NVIDIAの株価が急落。27日の終値は24日と比べて、時価総額は約90兆円のマイナスとなった。これは、中国のAIスタートアップ「DeepSeek」がリリースした新しいAIモデル「DeepSeek-R1」の性能とコストが原因とされている。DeepSeekとはどんな生成AIで、なぜ ...

CodeZine編集部では、現場で活躍するデベロッパーをスターにするためのカンファレンス「Developers Summit」や、エンジニアの生きざまをブーストするためのイベント「Developers Boost」など、さまざまなカンファレンスを企画・運営しています。 講演資料・動画 ...

中国のスタートアップ企業「DeepSeek」社が開発した生成AI「DeepSeek」が社会から注目を集めるようになり、1か月余りがたった。 米国や日本をはじめ様々な国や会社が利用禁止にしていることに加え、「ChatGPTの言語モデルよりコスパが良すぎる」「データが ...

中国のAI（人工知能）スタートアップのDeepSeek（ディープシーク）が開発した高性能・低コストの生成AIが、アメリカのAI業界に衝撃を与えている。 DeepSeekは1月20日、推論能力を飛躍的に高めた大規模言語モデル「DeepSeek-R1」を発表。その性能について ...