２０２６年が明けてすぐに「人工知能（ＡＩ）が未解決の数学の定理を証明した」とする論文の公表が世界で相次いだ。近年のＡＩの進化はめざましく、数学者が長年答えを出せなかった問題が次々と解かれている。専門家は「２０２６年はＡＩが安定して数学の未解決問題を解けるようになった最初の年といえる」と話す。 この勢いで超難問とされるリーマン予想も攻略してしまうのか？　ＡＩによる数学の可能性を探った。（共同通信＝浅見英一） ▽世界的数学者が「ＡＩが自律的に証明した」と宣言 １月、米カリフォルニア大のフィールズ賞数学者、テレンス・タオ氏が自身のＳＮＳで、約５０年も未解決だった「エルデシュ問題７２８番」という数学の予想について「ＡＩが自律的に解決した」と宣言した。 エルデシュ問題は、２０世紀ハンガリーの大数学者ポール・エルデシュが生涯に残した問題の数々を指し、千近くある。７２８番はその一つで、（ａ＋ｂ－ｎ）の階

平素は、マネーフォワードグループが提供するサービスをご利用いただき、誠にありがとうございます。 当社がソフトウェア開発およびシステム管理に利用している『GitHub』※1の認証情報が漏えいし、これを用いた第三者による不正なアクセスが発生し、『GitHub』※1内の「リポジトリ」※2がコピーされたことが判明しました。 ※1『GitHub』： 米国 GitHub 社が提供しているソースコード管理サービス ※2 リポジトリ： プログラムの設計図が入っている保管庫 現時点において、ソースコードおよび、リポジトリに含まれていたファイル内に記載されていた個人情報の一部が流出した可能性があることを確認しております。なお、流出したソースコードおよび個人情報の不正利用等による被害や、お客さま情報を格納している本番データベースからの情報漏えいは確認されておりません。 【流出した可能性のある個人情報】 ・マネー

ウェルスナビび @wealthnavi_days 氷河期世代って新卒の時に採用が渋かったのは運が悪かったけど、そのあと20-30年もあったのに挽回できなかったのは自分の責任ではないの？ なんの努力したん？ 2026-04-26 13:14:57 ウェルスナビび @wealthnavi_days 出だしでつまずいたのは間違いなく時代が悪かったけど、そのあと本屋で参考書買えば英語でも簿記でも宅建でも行政書士でも税理士でも会計士でも弁理士でも応用情報でもCCNPでも勉強して転職できたのではないか？ その中で皆様はどんな努力をして実らなかったのですか？ というだけの話なのです x.com/okaydontstress… 2026-04-26 22:35:44 頓知丸🐿️🌰 @okaydontstress @wealthnavi_days 厳しいけど一理あるね。 確かに、好景気でも転職は不利にな

DIYし放題、原状回復不要。美大生を中心に、社会人も含めた多様な“表現者”が集まる賃貸アパート「アップル＆サムシングエルス」は、“伝説”として語り継がれている存在だ。2021年の取材で「美大生が住み継ぐ賃貸」として紹介してから5年、どんな変化があったのか、また変わらないものはなにか、再取材を試みた。新旧の住人たちが繰り返し語るのは、創作を後押しし、人と人をつなぐオーナー・青木幸雄（あおき・ゆきお）さんの存在だった。 自由な空間と人に惹かれて住み続ける「クリエイティブの受け皿」 東京・相原（町田市）にあるアパート「アップル＆サムシングエルス」。DIYし放題、原状回復不要という一風変わったルールのもと、美大生やクリエイターたちが住み継いできたこの場所には、ある共通点がある。それは、入居者たちが口をそろえて、オーナー・青木幸雄さんの存在を語ることだ。 「駅から近いとか、部屋が広いのに家賃が抑えめ

TL;DR: Today, we are announcing that all GitHub Copilot plans will transition to usage-based billing on June 1, 2026. Instead of counting premium requests, every Copilot plan will include a monthly allotment of GitHub AI Credits, with the option for paid plans to purchase additional usage. Usage will be calculated based on token consumption, including input, output, and cached tokens, using the li

ブログサービスなどを運営するはてな（京都市中京区／東証グロース）の株価が4月27日、値幅制限の下限（ストップ安）水準の881円で売り気配のまま推移し、終日値が付かなかった。同社が前週末に発表した、不正な送金指示による最大約11億円の資金流出事案が嫌気された。 前週末24日の終値は1181円で、27日のストップ安水準は300円安の881円。同日は寄り付きから売り注文が積み上がり、買いが追いつかなかった。 売り材料となったのは、24日に開示した資金流出事案だ。4月20日と21日、悪意ある第三者から虚偽の送金指示に従い、従業員のアカウントから銀行預金を外部の口座に送金していた。 同社の2026年7月期通期業績予想は、売上高38億5900万円、営業利益1億3600万円。最大被害額は、通期営業利益予想の約8倍に相当する規模だ。 同社は手元の運転資金について「十分な流動性を確保しており、事業運営や資金

はじめに 最近、AI エージェント（GitHub Copilot / Claude Code / Cursor / OpenCode / Codex …）に渡す「指示書」の種類が一気に増えました。 GitHub Copilot → .github/instructions/*.md, .github/prompts/*.md Claude Code → .claude/commands/*.md, .claude/agents/*.md Cursor → .cursor/rules/*.mdc これに加えて MCP サーバー / hooks / skills … チーム内でこれらを 「どこから集めて、どこに配っていますか？」 絵にすると、複数の取得元 × 複数のハーネス という多対多の配線を、各チーム／各リポが自前で組んでいるイメージです。 個々のツールが便利になっても、チーム全体としてこ

2026年4月24日 はてな[3930]の開示資料「資金流出事案の発生に関するお知らせ」 が閲覧できます。資料はPDFでダウンロードできます

2026年に入ってからのセキュリティ状況は昨年にも増して深刻です。エンジニア2年目の自分が実際に追いかけていた案件・報道・公開レポートをもとに、2026年1〜4月の重大インシデント8件をまとめました。他山の石として参考にしてください。 1. 北米大手物流会社へのランサムウェア攻撃（1月） 概要: LockBit 4.0系の亜種が北米物流会社のVPNゲートウェイ（Fortinet製、CVE-2024-21762未適用）を突破。約3,200台のサーバが暗号化され、業務が72時間停止。 被害規模: 身代金要求額 $14M（約21億円）。実際の支払いは未確認だが、復旧コスト・機会損失で推定$40M超。 対策ポイント: VPN・ファイアウォールのパッチ適用を最優先タスクとして管理する バックアップはネットワーク隔離済みのオフラインストレージにも保持する EDRによるラテラルムーブメント検知ルールを整

設計書・コード・テストを全部AIに書かせて半年間開発してみたよ 1. はじめに 本記事は、私のチームが半年間AIネイティブ開発を行った経験とその感想をまとめたものです。 AIネイティブ開発とは、AI技術を活用してソフトウェア開発を行うことを指します。2025/10～2026/3の期間中、私たちはお客様に納品するシステムをAIネイティブで開発しました。その経験と私なりに感じたことをまとめてみました。 ※ なお、私の取組は全社的な取組とは関係ありません。 ※ あくまで、私のチームが独自に行っている取組ですので、その点はご留意ください。 2. 自己紹介 初めてテックブログに記事を書くので、簡単な自己紹介を。 名前：茂呂範（もろすすむ） 所属：株式会社NTTデータ　第三公共事業本部　デジタルソサエティ事業部　プロジェクト推進担当（参照） 立場：様々なシステムの基盤構築、基盤維持運用を担当している組

米Googleは4月13日（現地時間、以下同）、ブラウザの戻るボタンを押した際、すぐ元のページに戻さず、広告など意図しないページを表示する行為をスパムとして扱うと発表した。6月15日にGoogle検索のスパム対策ポリシーを更新する予定。違反した場合、Webサイトが検索上位に表示されにくくなったり、検索結果から削除されたりする可能性がある。 同様の行為が増加傾向にあるといい、「『Back Button Hijacking』（戻るボタンの乗っ取り）はブラウザの機能を妨害し、ユーザーの期待する操作を阻害し、ユーザーの不満につながる。最終的には見慣れないサイトを訪れる意欲が低下する」（同社）として、対策を強化する。 GoogleはWebサイトの管理者に対し、戻るボタンの挙動を妨げるようなスクリプトなどをポリシー更新までに削除・無効化するよう呼び掛けている。 関連記事 最新AI「Claude Myt

マイクロソフト、ローカルAI環境をインストーラで配布できる「Foundry Local」正式リリース。MacやLinuxにも対応 マイクロソフトは、アプリケーションにバンドルしてインストーラで配布できるコンパクトなローカルAI環境「Foundry Local」の正式リリースを発表しました。 開発者はアプリケーションにFoundry LocalのAI環境をバンドルしてインストーラで配布できるため、クラウドなどに依存せず、ユーザーによる設定や追加導入なども不要な、ローカルで完結するAIソリューションをユーザーに提供できるようになります。 ハードウェアに最適化、多数のAIモデルから選択 Foundry Localは、その内部にあるAIモデルのランタイムとしてONNX RuntimeとWindows MLが利用され、その上にFoundry Catalogから選択可能なさまざまなAIモデルを載せるこ

先月、 Codex CLIの勢いが止まらない。1位のClaude Codeをシェア率で抜きそうなイメージがあります。 先月まではClaude CodeとCodexは4%の差がありましたが、今月になって0.7%の差しかありません。そのため、Codexが覇権をとるのも時間の問題。 と書きましたがまさにその通りになりました。 Codexがシェア1位となりました。 私は、まわりではClaudeCode派が多く、あまりCodexは見ない肌感があるので、割と違和感があります。Codexのカウント方法ですが、"AGENTS.md"のあるなしで判定しているので、もしかしたらCodexより別の要因でシェアが大きく見えている可能性は否定できません。 2026/4/1のAI Coding Agentシェア率 2026/3/1のAI Coding Agentシェア率 プログラミング言語別のAI Coding Ag

中国の研究チームが、コウモリが媒介する人獣共通感染症の流出（スピルオーバー）を防ぐために、蚊をワクチンの運び手として利用する、あるいは塩水トラップを用いた経口接種を行うという、生態学に基づいた新しいワクチン接種プラットフォームを開発しました。この手法は、コウモリを駆除することなく、狂犬病ウイルスやニパウイルス、コロナウイルスなどの病原体が人や家畜に伝播するリスクを軽減し、コウモリの保護と公衆衛生の維持を両立させることを目的としています。 Ecological vaccination: A strategy to prevent zoonotic spillover from bats | Science Advances https://www.science.org/doi/10.1126/sciadv.aec0269 Turning mosquitoes into flying vac

ウェブアプリやAIエージェントの「置き場所」を提供するインフラ企業（ホスティング企業）、Vercel（バーセル）が静かに存在感を高めている。ギジェルモ・ラウフが創業した同社の評価額は93億ドル（約1.5兆円、1ドル＝158円換算）に達した。これによりラウフはビリオネアとなり、その純資産は少なくとも21億ドル（約3339億円）に達したとフォーブスは推計している。 Vercelの名は一般に知られていない。だが、アンダーアーマー、ストライプ、Sonosといった世界的ブランドが、自社のデジタルインフラをVercel上で動かしている。Vercelが開発・保守するオープンソースのウェブ開発フレームワーク「Next.js」は、多くの開発者が用いており、AIコーディングアシスタントの学習データにも大量に含まれている。 その結果、AnthropicのAIコーディングツール「Claude Code」でアプリを

2026年3月31日、HTTP クライアントライブラリ axios の npm パッケージが侵害されました。攻撃者はメンテナの npm アカウントを乗っ取り、マルウェアを含むバージョン 1.14.1 および 0.30.4 を公開しました。axios は npm エコシステムで週間約1億ダウンロードを誇る主要パッケージです。本記事では公開情報をもとに、事象の概要を記録します。また、対応指針を示します。 TL;DR - 対応指針 axios への直接依存に限らず、間接依存（transitive dependency）でも postinstall フックは発火します。 自身のプロジェクトが axios を直接利用していなくても、依存ツリーのどこかに axios が含まれていれば影響を受け得ます。npm ls axios で確認してください。 npm ls axios や lockfile により

経済産業省及びIPAでは、「Society 5.0時代のデジタル人材育成に関する検討会 報告書」（2025年5月公表）を踏まえて、情報処理技術者試験における試験区分体系の見直し等に向けた検討を行ってきました。 今般、受験を検討されている方や関係者の皆様に早期に情報提供するために、見直しのポイントや見直し後の試験区分体系、出題範囲等の案について、現時点での検討状況を公表します。 なお、公表内容は現時点での検討状況であり、今後、変更が生じる場合がありますので、ご了承ください。 1．「データマネジメント試験」（仮称）の新設 AI活用において求められる、主にビジネス部門を想定したデータの整備・管理に関するスキルを習得し、評価するための試験として新設。 幅広いビジネスパーソンの受験を想定し、ITパスポート試験の次のステップの試験として位置づけ。 2．「ITパスポート試験」の出題構成の変更 出題分野を