中国の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 ...

会員（無料）になると、いいね！でマイページに保存できます。 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で、なぜ ...

中国のAI新興企業『DeepSeek』が2025年12月1日、新たなオープンソースモデル『DeepSeek-V3.2』および『V3.2-Speciale』を発表。 『アメリカ数学招待試験AIME2025』において、同モデルは96.0%を記録し、『OpenAI』の『GPT-5 High』（94.6%）や『Google』の『Gemini 3 Pro』をも凌駕 ...

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

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

【ニューヨーク=大原恵】人工知能（AI）開発新興の米アンソロピックは中国のAI企業3社がアンソロピックが提供する生成AIサービス「Claude（クロード）」の能力を不正に抽出したと発表した。「蒸留」と呼ばれる技術を使い、自社のモデルの改良に利用したと主張している。アンソロピックが指摘したのは中国のAI開発新興、DeepSeek（ディープシーク）、月之暗面（Moonshot AI）、稀宇科技（M ...