グーグルのGemini 1.5 Proが、OpenAIのSoraによって生成された動画の信憑性に疑問を呈しています。OpenAIのSoraは、テキストから動画を生成する画期的なツールとして注目を集め、「動画生成分野のChatGPTモーメント」と呼ばれています。Gemini 1.5 Proは、その技術力を示すことで、グーグルとOpenAIの競争を激化させています。
関連推奨
15歳の少年がAIを用いてランサムウェア攻撃を実行し、有名なプラットフォームの全サイト停止を引き起こす
15歳の高校生が生成AIを利用したサイバー攻撃で逮捕。2025年11月、バンダイナムコのアニメ配信サービス「バンダイチャンネル」に会員アカウントを不正侵入。未成年でAIを使った完全な攻撃手口が注目を集める。....
Jul 6, 2026
309.1k
数学研究のハードルを下げます:Mistral AI はオープンソースモデル「Leanstral 1.5」を公開
Mistral AIがLean4向けオープンソースモデルLeanstral1.5をApache-2.0ライセンスで公開。総パラメータ119B、活性化6Bで高性能・低コスト。miniF2F形式数学ベンチマークで検証・テスト共に100%達成、Putnam推論タスクにも挑戦。....
Jul 6, 2026
155.4k
Mistral AIが開発したオープンソースの数学証明ツール:119Bパラメータで6Bのみをアクティベート 解決コストは競合の1%に満たない
欧州のMistral AIが形式数学証明モデルLeanstral 1.5を発表。Lean4言語専用で、総パラメータ119Bに対し推論時は6Bのみ活性化。低コストでApache-2.0ライセンスで完全オープンソース。miniF2Fベンチマークで検証・テスト共に100%達成、PutnamBenchでも驚異的な性能を示した。....
Jul 6, 2026
160.1k
演算能力利用率が65%を突破:AIGCodeはL3レベルのプログラミングモデルでどうして突围したのか?
AIプログラミング分野で変動が起きている。多くの企業がL2コード補完で競争する中、AIGCodeはフルスタックソリューションで世代を超えた進化を目指す。その核心は、大規模モデルの課題が微調整ではなく基盤にあるとの洞察で、AutoCoder.ccを通じてL3の自律プログラミングを狙う。....
Jul 6, 2026
213.5k
騰訊混元Hy3の発表:エージェント機能と製品体験が向上
騰訊混元Hy3を発表し、スマートなレベルは2~5倍パラメータのエリートモデルに匹敵し、価格はより低く、安定性とコストパフォーマンスが向上しています。多くのビジネスで導入され、APIは騰訊クラウドTokenHubおよび海外プラットフォームにリリースされました。モデルは速い思考と遅い思考の統合を実現し、インテリジェントエージェントの実用性が劇的に向上しました。
Jul 6, 2026
191.9k
