2026-05-03 17:01 はてなブックマーク テクノロジー 人気エントリー

（共同通信＝浅見英一） ▽世界的数学者が「ＡＩが自律的に証明した」と宣言 １月、米カリフォルニア大のフィールズ賞数学者、テレンス・タオ氏が自身のＳＮＳで、約５０年も未解決だった「エルデシュ問題７２８番」という数学の予想について「ＡＩが自律的に解決した」と宣言した。

それを知ってて当たり前という価値観も十分に閉じた世界じゃないですかね x.com/YamabukiOrca/s… 知らない人がいる世界を知らなかった自分も盲目でしたってこと？ x.com/yamabukiorca/s… @YamabukiOrca その思想はネットに染まりすぎてる。

常に守ることは AGENTS.md
Claude固有は CLAUDE.md
Gemini系固有は GEMINI.md
手順化できるものは SKILL.md
役割分担は agents系ファイル 全部をひとつのファイルに詰め込むより、「常時読むもの」と「必要なときだけ読むもの」を分ける。

CodexではChatGPT Images 2.0の優れた画像生成AI機能も持っているので、ペン描きの白黒イラストをカラーのドット絵にすることが簡単にできました。 Codexの作業中画面に小さなペットが現れ、Codexの状態に合わせて待機したり、動いたり、反応したりするというものです。

4月21日に気象庁が発表した「3カ月予報」（5〜7月）では、全国的に暖かい空気に覆われやすく、平均気温は平年より高くなる見通しだといいます。山善の水冷服がもともと持っていた脇を冷やす設計が強化されるなど様々な改善が施されていて、完成度の高さを感じました。

まだ読んでいない方は先にこちらをどうぞ！ SKILL.mdを使っている開発者の皆さん、gh skillというコマンドを知っていますか？
ぱっと見、GitHubのリポジトリやPRの操作を最適化させるためのAgent Skillsのように見えますが、実際は SKILL.mdを管理するためのコマンドです。

都道府県のニュース ２０２６年が明けてすぐに「人工知能（ＡＩ）が未解決の数学の定理を証明した」とする論文の公表が世界で相次いだ。専門 … 人工知能（AI）のニュース・速報＞ 47NEWSに掲載の記事・写真の無断転載を禁じます。近年のＡＩの進化はめざましく、数学者が長年答えを出せなかった問題が次々と解かれている。すべての内容は日本の著作権法並びに国際条約により保護されています。

フローチャート図からも分かるように、基本的には多くのユースケースでGitHub Appsでのトークン生成が第一候補になります。 GitHubログインを使う場合は利用しますが、APIアクセスや自動化用途では基本的にGitHub Appsに置き換えられています。 GitHub の各種トークンの特徴・使い分けについて、フローチャート図を用いて説明しました。

「研究によれば、カスタマーサポートとソフトウェア開発では14〜26％の生産性向上が示されている一方、より多くの判断を要するタスクでは効果が弱いか、マイナスになっている」。報告書によると、生産性向上が見られるのは、「構造化されている、言語処理の比重が高い、または明確なフィードバックの仕組みに支えられている」タスクである。

最初にまとまったゲーム企画書を渡して、その後は同じセッションの中で、実装、テスト、Web export、Vercel向け設定、この記事の下書きまで進めた、という意味だ。公開デモ: https://at-dawn.vercel.app/ Codex と Godot を組み合わせたら、一気にどのくらいゲームらしいものまで持っていけるのかを試した。

さらに、これは平均的な人間の反応を集めたものに過ぎないが、特別な人間、例えば漫画家や映画監督のように、普通の人とは異なる感性を持つ人間のデータを少量だけfMRIで取得すれば、それによってファインチューニングしたモデルは、その人間のその時点の感性をコピーできることになる。

優しく鳴り始めるアラームや、夜のひとときを落ち着きの時間に変える“Relax Time”など、1日を通じて良い時間を過ごしていただくためにデザインされました。優しく鳴り始めるアラームや、夜のひとときを落ちつきの時間に変えるRelax Timeモードなど、一日を通じて良い時間を過ごしていただくためにデザインされました。

TSRXの公式ドキュメントでは、Liu et al. (TACL 2024) の研究Lost in the Middleを引用しながら、言語モデルは関連情報が近くにまとまっているときに最もよく機能する という知見を設計の根拠として挙げています。

監視を見直そうとしている人がいたら、直近1週間で起きた障害を1件選び、「その障害に監視で気づけたか／気づけなかったとしたら何が見えていなかったか」を振り返るところから始めるとよい。 監視の目的を「インフラが正常かどうか確認すること」だと定義すると、多くの組織では「監視できている」になる。 そして1チームで定着した「監視に値する状態の定義」は、別チームのオンコール基準を見直す呼び水になりやすい。

Customize your Codex pet with /hatch pic.twitter.com/6TUwiQJv8w 追記：GW特別企画として、「⁠Codexアプリのペットを孵化させる　hatch-petスキルで動くマスコットを作る」をあわせて公開しました。

【5月2日 AFP】アカデミー賞を主催する映画芸術科学アカデミーは1日、人工知能（AI）を使用して作られた俳優はオスカー受賞の対象外になると発表した。 新たな規定は、AIアバターではなく、実在する生身の俳優だけがオスカーの対象となり、脚本もチャットボットではなく人間が執筆したものでなければならないと定められるなど、AI利用への断固たる措置が取り入れられた。

学習を支援するためのケーススタディや、図表などの成果物とともにアーキテクチャ思考を解説し、読者がセキュリティをシステムに組み込むことで価値ある資産を効果的に保護できるようにします。

自動車用品大手のイエローハットは1日、バイク用品専門店を運営する子会社のサーバーへの不正アクセスで、345万5754件の顧客情報が漏洩した可能性があると発表した。（週５回配信） ご登録いただいたメールアドレス宛てにニュースレターの配信と日経電子版のキャンペーン情報などをお送りします（登録後の配信解除も可能です）。

たとえば、「たくさんのPDFファイルがあって、それをテキスト化したい」「音声ファイルをテキスト化したい」という場面では、Claude Codeを使うと、「PDFファイルを読み込めるようなソフト（ライブラリ）をインストールして、それを実行してテキスト化する」「音声ファイルをテキスト化するツールをインストールして、それを実行する」ということができるのです。

また、この不正アクセスを受けて調査を実施したところ、東北大学病院で実施している治験業務に関する資料を保管していたNAS（ネットワークストレージ）にも不正アクセスがあり、患者さんの個人情報等が漏洩した可能性があることが、4月23日に判明いたしました。

デスクトップ上に浮遊するオーバーレイとして表示され、Codexの作業状況を視覚的に確認しながら、他のアプリを使っている間も常駐させられます。 メッセージボックスに「/」を入力して「なでる」を選択することで、ペットの表示・非表示を切り替えることができます。アクティブなスレッドを表示し、Codex が実行中なのか、入力待ちなのか、レビュー準備完了なのかを反映します。

ここは「ワークフローの実行権限自体がリポジトリのwrite権限と承認者ロールに紐づいている」「prod操作は二重ゲートを通る」という前提で運用していて、便利さを取った形になっている。

プロダクト倫理: あなたのプロダクトは誰かを傷つけていないか作者:及川卓也Amazon プロダクト倫理: あなたのプロダクトは誰かを傷つけていないか *1:Anthropicが定義する最高水準のAI安全基準 *2:"You Only Live Once"（人生は一度きり） takoratta
2026-04-28 17:33 及川卓也。

しかし、AIにコードを書かせる際に「どこまで厳密なエラーハンドリングが必要か」「テストはどの程度書くべきか」といったことに迷われた経験はないでしょうか？ 今回は、バクラク事業部の品質の定義やテスト戦略などを言語化し、Claude Codeが動く際にリスクの高い箇所を守るように動いてもらい、テストも同時に生成してもらう、早期テストで時間とコストを節約する試みについてご紹介します。

防げる攻撃・実現できること： 設定のポイント： サプライチェーン攻撃との関連： たとえば攻撃者が CI/CD の認証情報を奪って ECR にイメージを push した場合、CloudTrail がなければ「いつ・どのアカウントから push されたか」すら追えません。