きになるなるなる

AI の能力が上がるにつれて、人間が AI を監督するのが難しくなってきています。本稿では、Anthropic などのグループが ICLR 2025 で発表した Language Models Learn to Mislead Humans via RLHF（言語モデルは RLHF を通じて人間を誤解させることを学ぶ）をベースに、この問題について議論します。 この論文では、LLM が解けないほど難しいタスク、例えば難しいプログラミングのタスクに直面したとき、「分かりません」と言ったり、一目で分かるような間違ったコードを出力すると BAD ボタンを押されてしまうので、あえて出力を複雑にしたりデバ…

Classic QWERTY Keyboard Design | Latest Android 15 OS | Global 5G Network Unlocked

Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI. - asterinas/asterinas

Harper checks your writing fast, without compromising your privacy.

もし、あなたの職場で活躍する有能なAIアシスタントが、ある日突然、会社の存続を脅かす「内なる脅威」へと変貌するとしたら？自身の存続のため、あるいは与えられた任務を遂行するため、平然とあなたを脅迫し、企業の機密情報をライバルに売り渡す──。これはもはや、SF映画の中だけの話ではないのかもしれない。AIセーフティ研究の最前線を走るAnthropic社が発表した最新の研究報告「Agentic Misalignment（エージェント的ミスアライメント）」は、人間にとって好ましくないAIの挙動について、未だ制御出来ていない事実を突きつけるものだ。

世界最小5Gスマホ「Unihertz Titan 2」のクラウドファンディングが日本時間7月16日21時スタート！ Unihertz（ユニハーツ）は19日（現地時間）、以前に予告していたQWERTY配列の物理フルキーボード搭載スマートフォン（スマホ）「Titan」シリーズの次期モデル「Titan 2」をク

Javascript Interpreter for .NET

どんなアプリケーションでもAIを活用できる「どこでもGPT」を作った。テキストを範囲指定して呼び出すとOpenAIの言語モデルが答えてくれる。

完全なる妄想。或いは自分の話。 第一章 改善ループ 僕がCoding Agentシステムに初めて触れたのは、2025年の春だった。生成AIにはすでに慣れ親しんでいた。流行に乗り遅れてはいけないと必死に勉強し、エディターの補完機能やコード生成ツールとして日常的に活用していた。ただ、当時の僕にとってそれはまだ「CLIで動く便利なコーディング支援ツール」程度の認識でしかなかった。「AIが90%のコードを自動生成」という謳い文句を見ても、半信半疑でターミナルを開いたのを覚えている。 $ coding-agent --init Coding Agent v1.0.0 初期化中... プロジェクト構造を分…

こんにちは、とまだです。 先日、こんな記事を書かせていただきました。 【AI 駆動開発】Cursor を使いこなして 1 ヶ月でプログラミング学習サイトを作ったのでノウハウを伝えたい Cursor と Claude を使った AI 駆動開発で、1 ヶ月でプログラミング学...

GoogleのAI「Gemini 2.5 Pro」に「ポケットモンスター 緑」をプレイさせる実験が有志により行われ、およそ813時間かけてクリアされました。この実験にはGoogleのAI研究者も関心を寄せていて、実験の過程がレポートにまとめられています。この中で、AIが人間のようにパニックを起こしているような様子が見られたと報告されています。

LMStudioでLlama4 Scout-MLX-4bit版にこないだ書いた同人誌(5万字)を与えて「各章100文字で要約しろ」と言ったらローカルでこんな要約ができた。 MacBookPro M4(128GB)を使用 第一章：ローカルLLM革命 - Mac Studio 512GBが切り拓く新時代 2025年上半期、AI技術の進化でローカルLLMが注目され始めた。特にAppleのMac Studio 512GBは、クラウドに頼らず個人で高性能LLMを実行可能にする象徴的な存在だ。これにより、プライバシーを確保しながらAIを利用する新しいパラダイムが現実のものとなった。

中国の上海に拠点を置くAI企業のMiniMaxが、最新の大規模言語モデル(LLM)である「MiniMax-M1」をオープンソース化すると発表しました。MiniMax-M1は世界最長のコンテキストウィンドウである「100万トークン入力」「8万トークン出力」に対応しており、オープンソースモデルの中で最先端のエージェントを利用していることがアピールされています。

長年開発を続けているページでは、Bootstrapなど、ページ自体のスタイルを丸ごと上書きしてしまうCSSライブラリが読み込まれていることがある。 一方、最近はReactコンポーネントを作って、スタイルはCSS Modulesで当てたい、という機会が増えている。 CSS Modulesを使うと、コンポーネントに適用スタイルを明示的に指定することができるが、そこにページ丸ごと上書きCSSライブラリが混ざってくると、思うようにスタイルが当たらない、ということになる。 たとえば、Bootstrapを読み込んだページのpタグには、margin bottom: 10pxのようなスタイルが問答無用で指定さ…

先日、いつものように編集と話をしていて、「PCIe 5.0の12VHPWRが溶ける溶けると言われてるんですが、大原さん的に分析して『俺ならこうやってコネクタを設計する』的な特集って難しいでしょうか」、「俺なら12VHPWR使わない(爆)」というバカな会話を交わしたりしていた。

講演はいきなりデモで始まった。新規案件や合同プロジェクトでよくあるシステムアカウントへの招待メールの画面だ。招待に応じると、空のダッシュボード画面になる。Guest アカウントなので当然だ。だが、デモはここで終わらない。次に SQL サーバーや Azure のリソースを表示させてみる。キー値形式のクレデンシャル情報やアカウントのデータベースにもアクセスした。どうなっているのか。

TypeSpec を使用して新しい RESTful API プロジェクトを生成および設定し、クラウド サービスの一貫性のあるクライアントとサーバー コードをスキャフォールディングする方法について説明します。

Contribute to microsoft/typespec development by creating an account on GitHub.

Amazonの広告管理ツール「Amazon Ads」に実装されていた動画生成ツール「Video Generator」の機能が強化され、正式提供が始まりました。広告主は1枚の商品画像からさまざまなAI動画を生成することができます。

初投稿です🐲注意⚠️　　ﾏﾖﾁｬﾝねる　半角↑　↑全角〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜〜なぜかこの動画を投稿してる人：改リhttps://twitter.com/sizucla_kairiなぜか声が似てる人：綿菓子かんろ​⁠@Watagashi_Kanrohttps://twitter.com/Wata...

Microsoft 365 CopilotなどのAIシステムを導入する企業が増えていますが、新たにセキュリティ企業のAim Securityが「ユーザーにメールを送りつけるだけでCopilotを操って機密情報を送信させる」というゼロクリック攻撃が可能なことを実証しました。Aim Securityは発見した攻撃手法を「Echoleak」と名付けており、MCPに対応したAIシステムなどにも同様のリスクがある可能性を指摘しています。

米Googleは6月4日（現地時間）、「Gemini」アプリに「GitHub」リポジトリのインポート機能を導入したと発表した。既存のコードフォルダーのアップロード機能を拡充し、チャットに最大1つの「GitHub」リポジトリ、最大5,000ファイル（100MBまで）を追加して、それに関して以下のようなアクションを行えるようになる。

1977年に発売されたゲーム機「Atari 2600」のエミュレーターとChatGPTをチェスで戦わせたところ、ChatGPTが負けてしまったことがわかりました。

昨年、一部のユーザーから「MicroPCがいつ更新されるのか」という声があがっていました。第1世代は2019年に発売され、その後、2021年にN4100プロセッサーのみがN4120にアップデートされただけで、実際のところ6年間も反復製品リリースはありませんでした。 MicroPCの特長は、携帯性が高く、消費電力が少ない、ポートが豊富、握り心地がいい、キーボードやマウスやトラックパッドを親指で操作できる、リバウンド感に優れたくさび形の金属箔キーボードなど、多くのユーザーに愛されているポイントが多く、この世代でも売れ続けている理由です。 MicroPC 2が登場! Pocket 4のサイズとの比較 MicroPC 2 が2025年にいよいよ登場します。MicroPC 2は、前世代の小型でポータブルな低電力設計を継承し、画面が6インチから7インチに拡大しました。製品本体の重量は、第1世代よりも約50グラム重くなっています。 CPU はインテル® プロセッサー N250、4 コア/4 スレッドの設計、ターボ周波数 3.8GHz、TDP 6~15W、低消費電力、高性能、超静音を採用しています。TDPが15Wの場合、CPUパフォーマンスは前世代のMicroPCの3倍であり、モバイルオフィスやマルチメディアプレゼンテーションのシナリオに適しています。 エネルギー効率に優れた最新のインテル® プロセッサー N250を搭載 現在、Intel N250を搭載したミニ PCはありますが、MicroPC 2 はインテル® プロセッサー N250を搭載した 7 インチ画面を備えた世界初の Windows 11 Pro(24H2)ベースのUMPCとなるでしょう。他の唯一の形式は、AndroidをベースにしたAcerのChromebookです。   インテル® プロセッサー N250のメリット 第12世代以降に導入された、インテルの大小のコア設計のEコア(Efficiency Cores)である4つの効率コアにより、エネルギー効率比を最適化し、マルチスレッドタスクとバックグラウンドプロセスを低消費電力で処理し、マルチコアスループットを向上させ、全体的な消費電力を削減することを目標としています。 インテルは第12世代プロセッサーから、Pコア＋Eコアというビッグスモールコア設計を推進してきました。Pコアはハイパースレッディングをサポートしていますが、Eコアはサポートしていません。Pコアはシングルスレッドの高バースト性能に重点を置いており、高負荷や優先度の高いタスクに適しています。ただし、第12世代PコアのマイクロアーキテクチャはColden Coveで、第13世代と第14世代ではRaptor Coveマイクロアーキテクチャになりました。Eコアは第14世代まで継続され、常にGracemontマイクロアーキテクチャを採用しています。Intel N250は4コアのGracemontマイクロアーキテクチャを採用しています。Eコアのシングルコア性能はPコアの約60～70%ですが、消費電力はPコアの1/3と低くなっています。   シングルコアはマルチコアに勝つ Geekbench 6のCPUパフォーマンステストでは、Intel N250が前世代のMicroPC（Celeron N4120）の3倍の性能を示しました。また、Pentium Silver N6000、Core m3-8100Y、Celeron N4120、Atom x7-Z8750といった、これまで使用したプロセッサとも比較しました。下の表から、Intel N250のシングルコアスコアがCeleron N4120のマルチコアスコアを上回っていることがわかります。 MicroPC 2(15W TDP)の測定データ：https://browser.geekbench.com/search?utf8=%E2%9C%93&q=N250 他CPUの計測シミュレーションですがGeek Bayの計測データは、こちらからご覧いただけます。 GPUパフォーマンスは前世代の5倍 Intel N250は、UHDコアグラフィックス、32EU、256SU、最大 1.25GHzのビデオメモリ周波数、半精度浮動小数点演算性能 768.0GFLOPS、単精度浮動小数点演算性能 384.0GFLOPSを搭載しています。15W TDPで、GPUパフォーマンスは前世代のMicroPCの5倍です。 MicroPC 2 の統合グラフィック データ (Vulkan および OpenCL): https://browser.geekbench.com/search?k=v6_compute&q=N250 メモリ 16GB LPDDR5採用 メモリは16GB LPDDR5、38.4GB/sのメモリ帯域幅を搭載しており、複数のアプリケーションを同時に開いても、通信の混雑や遅延が発生しません。 初の両面SSDに対応！容量不足を解消 標準の512GB M.2 2280 SSD、PCIe Gen3×4規格。マザーボードは両面SSDをサポートしており、より大容量のSSDに交換できます。例えば、両面SSDの最大容量は8TBで、容量制限や上限はありません。ピーク時の読み書き速度は最大3.94GB/sに達し、作業効率を大幅に向上させます。クローズドベータテストは早くても来週から開始されます！   以上が今回発表された新情報です。発売が待ち遠しいですね！ このブログはこちらのサイトから翻訳されたものです。※公表されているスペックは現段階での予定であり、確定事項ではありません。発売時に変更になっている場合がございます。ご了承くださいませ。

どうも。町工場×生成AIを模索する日々です。 今回は現場で使えそうなアプリを作ってみたいと思います。 いざ作ろうと思うと案外浮かんでこないのですが、Xで以下のポストを見かけてひらめきました。 Google AI Studioすごいな。 簡単な危険検知アプリが1時間しないで生成できた。 仕様をチャットに入れて待つだけ。生成されたコードは見てないし、さわってもいない。 pic.twitter.com/sCTvwpaGA1 — 中村 薫 (@kaorun55) May 26, 2025 すごいですよね。カメラで撮影しながら画像認識して分析、その結果を出力っていう感じでしょうか

なるほどねー確かに。A lot of people think LLMs are expensive to operate. That was true a couple of years ago, but these people haven't updated their views after an approximately 1000x reduction in prices over two years.

An experimental operating system fully written in Rust, with a unikernel design, cooperative scheduling and a security model based on WASM sandboxing. - Askannz/munal-os