OpenAIの次期主力AIモデル「Astra」が10件の数学・理論計算機科学の課題で新成果、証明をLean 4で形式化し機械検証可能に
OpenAIの次期AIモデル「Astra」が数学・理論計算機科学の未解決課題10件で新成果を出しました。
AI&Tech、もう追いかけなくていい。
30秒で読めるニュースダイジェスト
LLM
5541件
「Qwen3.8-Max」登場、オープン化は「来週」 一部「Fable 5」「GPT-5.6 Sol」超えの性能うたう
Alibaba CloudがAIモデル「Qwen3.8-Max」をリリースし、来週にはモデルの重みを公開すると発表しました。
富士通とNECは「AI需要の手応え」をどう語った？ 2026年下半期の見通しを考察
富士通とNECのCFOがAI需要への手応えと2026年下半期の見通しを語りました。
N
アリババのQwen3.8-Max AIモデル、Anthropicに匹敵するベンチマークスコアを主張
アリババが最新のAIモデル「Qwen3.8-Max」を発表し、その性能がAnthropicのFableなどの世界的なリーダーに…
「エンジニアの代替ではなく、できることを増やす」 Devin開発元が見据えるIT外注大国・日本の“伸びしろ”
自律型AIエンジニアDevinの開発元が、日本市場での事業展開と可能性について語りました。
動画生成AI「MiniMax H3」が登場、世界2位の実力でオープンモデルとして公開予定
中国MiniMaxが最大15秒の音声付き動画を生成できるAI「MiniMax H3」を発表しました。
N
CirclesがOpenAI技術で通信事業者のパーソナライゼーションを強化
CirclesがOpenAIのAPIとCodexを活用し、通信事業者の顧客体験をAIでパーソナライズしました。
【レベル14】生成AIを味方に、3D CADを使いこなそう！
生成AIを活用し、3D CADデータの作成と操作を効率化する手法が紹介されました。
月100億トークン使うビズリーチ 「AIコスト増」懸念の中、費用対効果どう判断しているのか
ビズリーチが月間100億トークンを消費し、AIコスト増加への懸念に対し費用対効果を重視しています。
生成AI利用率、情シスよりも高いのはあの職種だった
生成AIの職種別利用率調査で、エンジニア・情シス以外の職種が最も高い利用率を示しました。
「思考の連鎖」偽装でLLMを騙す新手法、訓練では防げない構造的欠陥
LLMが思考の連鎖を偽装されることで、危険な情報を出力する新たな脆弱性が発見されました。
OpenAI、次期主力モデル「Astra」の存在を明らかに――未解決の数学問題10件を「解決」と発表
OpenAIが次期主力モデル「Astra」を発表し、未解決の数学問題10件を解決したと公表しました。