2026年9月15日
ゲーム、マンガ、テクノロジーを一箇所で

テクノロジー

情報源: GIGAZINE, ITmedia

シャインマスカットのぜいたくな味わいと爽ならではのシャクシャク食感が楽しめる「爽 贅沢果実シャインマスカット」を食べてみた
GIGAZINE

シャインマスカットのぜいたくな味わいと爽ならではのシャクシャク食感が楽しめる「爽 贅沢果実シャインマスカット」を食べてみた

シャクシャク食感が特徴のロッテの人気アイス「爽」の新フレーバーとして、シャインマスカットをぜいたくに使った「爽 贅沢果実シャインマスカット」が2026年8月17日(月)から期間限定で登場しています。一体どんな味のアイスになっているか気になったので、実際に食べてみました。続きを読む...

続きを読む: GIGAZINE →
Claudeがフェルマーの最終定理を11日で形式化、1300万行のLeanコードで初の完全な機械検証済み証明を完成
GIGAZINE

Claudeがフェルマーの最終定理を11日で形式化、1300万行のLeanコードで初の完全な機械検証済み証明を完成

AI開発企業のAnthropicは2026年9月4日、AI「Claude」がフェルマーの最終定理について最初から最後までコンピューターで検証できる証明を完成させたと発表しました。Claudeは11日間にわたってほぼ自律的に作業し、証明支援システム「Lean 4」で約1300万行のコードを生成。Anthropicはフェルマーの最終定理について初の完全な機械検証済み証明だと説明しています。続きを読む...

続きを読む: GIGAZINE →
GitHub Copilotが複数AIモデルを自動で使い分ける「HydraFusion」を公開、TerminalBench 2.1でClaude Opus 5比コスト67%減・スコア4.9ポイント向上
GIGAZINE

GitHub Copilotが複数AIモデルを自動で使い分ける「HydraFusion」を公開、TerminalBench 2.1でClaude Opus 5比コスト67%減・スコア4.9ポイント向上

GitHubは2026年9月4日、GitHub Copilotでタスクに応じて複数のAIモデルを使い分ける「Project HydraFusion」を研究プレビューとして発表しました。GitHubによる評価では、TerminalBench 2.1でClaude Opus 5と比べて推定コストを67%削減しながら正しく完了できたタスクの割合が4.9ポイント高くなったとのことです。続きを読む...

続きを読む: GIGAZINE →
睡眠トラッカーは不眠症の人にとって重要な「主観的な睡眠の質」を捉えきれないとの指摘
GIGAZINE

睡眠トラッカーは不眠症の人にとって重要な「主観的な睡眠の質」を捉えきれないとの指摘

Fitbitのような手首装着型のアクティビティトラッカーやApple Watchのようなスマートウォッチには、睡眠時間や睡眠の段階を追跡する睡眠トラッカーとしての機能も搭載されています。ところが、こうした睡眠トラッカーは「主観的な睡眠の質」を捉えきれない可能性があるとの研究結果が報告されました。続きを読む...

続きを読む: GIGAZINE →
複数のAIエージェントを1つのターミナルから統括できる「Herdr」
GIGAZINE

複数のAIエージェントを1つのターミナルから統括できる「Herdr」

Claude CodeやCodexなど複数のAIエージェントへ同時に仕事を任せる場合、それぞれのターミナルを開いて進行状況を確認する作業が必要になります。複数のターミナルを1つのターミナル画面へまとめ、作業中・入力待ち・完了といった状態の確認やAIエージェント同士の連携も可能な「Herdr」が公開されています。続きを読む...

続きを読む: GIGAZINE →
女性の割合が多い仕事の方がAIによる自動化の影響を受けやすい可能性がある
GIGAZINE

女性の割合が多い仕事の方がAIによる自動化の影響を受けやすい可能性がある

「AIによって仕事が奪われる」と言われるとき、エンジニアや力仕事など男性の割合が多い職業が影響を受けると考えられる一方で、女性の割合が多い育児や看護、介護といった職種ではAIの影響を受けにくいと考えられることがあります。しかし、オーストラリアの政府機関がまとめたデータを分析した研究では、AIによる自動化の影響を最も受けやすいのは、女性の割合が多い職種であることが示されました。続きを読む...

続きを読む: GIGAZINE →
圧縮とLLMに共通する本質は「データの予測」
GIGAZINE

圧縮とLLMに共通する本質は「データの予測」

「データの圧縮」と「大規模言語モデル(LLM)」は一見すると全く異なる分野ですが、根幹では「データの予測」という同じ課題を解決しようとしています。いずれも「データの冗長性を削減」「より効率的な表現」を目指すものであり、ひいては情報理論におけるエントロピーという数学的枠組みで結びついています。ngrokのデベロッパー・エデュケーターであるアニー・セクストン氏は「圧縮は予測」と題したブログを公開し、圧縮とLLMに共通する本質について語っています。続きを読む...

続きを読む: GIGAZINE →
ChatGPT登場以降に公開されたウェブサイトの3分の1に「AI」の痕跡が見られることが研究で判明
GIGAZINE

ChatGPT登場以降に公開されたウェブサイトの3分の1に「AI」の痕跡が見られることが研究で判明

2022年11月にChatGPTが登場してから生成AIは一般に広く知られるようになり、わずか4年足らずで人々の生活に欠かせないものになるほどに成長しました。オンラインで公開されるコンテンツに生成AIが使われるのももはや当たり前になっているということで、研究者らが「生成AIで作られた痕跡があるウェブサイト」の割合を調査しました。続きを読む...

続きを読む: GIGAZINE →
人型ロボットがさまざまな競技に挑む「ヒューマノイドロボット競技大会」は技術的にどのような意味があるのか?
GIGAZINE

人型ロボットがさまざまな競技に挑む「ヒューマノイドロボット競技大会」は技術的にどのような意味があるのか?

中国の北京で2026年8月22日から開催された「第二届世界人形机器人运动会(第2回ヒューマノイドロボット競技大会)」では、16か国から666チーム・2056台の人型ロボットが参加して51種目で競い合い、100m走でウサイン・ボルト選手の世界記録を超えた大記録などが樹立されました。そんなヒューマノイドロボット競技大会のようなロボットの競技会は技術的に人類の役に立つのかどうか、クイーンズランド工科大学ロボット工学教授のジョナサン・ロバーツ氏が解説しています。続きを読む...

続きを読む: GIGAZINE →
リモートワークの従業員を「月に1日」だけ出社させるとどうなるのか?
GIGAZINE

リモートワークの従業員を「月に1日」だけ出社させるとどうなるのか?

2020年に発生した新型コロナウイルス感染症(COVID-19)のパンデミックに伴い、さまざまな企業でリモートワークが導入され、一部の企業ではパンデミックの終息後もリモートワークが継続しています。全米経済研究所が発表した新たなワーキングペーパーでは、「完全リモートワークの従業員を月に1日だけ出社させるとどうなるのか」が検証されました。続きを読む...

続きを読む: GIGAZINE →