GIGAZINE

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

2026-09-07T15:37:00+09:00

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

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

2026-09-07T15:10:00+09:00

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

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

2026-09-07T15:00:00+09:00

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

アメリカ軍がスマホやPCの広告識別子を無効化、位置情報データが監視・攻撃に利用されているとの報告を受け

2026-09-07T14:06:00+09:00

アメリカ軍がスマートフォンやPCを追跡して最適な広告を配信するために利用される「広告識別子」を無効化したと、ロイターが報じています。これは中東在留のアメリカ軍関係者を監視・攻撃するために、市販の位置情報データが悪用されていたという報道を受けての措置です。 ]]>続きを読む...

ケニアの一大ビジネスになっていた「論文のゴーストライター」ビジネスがAIの登場で崩壊

2026-09-07T14:00:00+09:00

ケニアでは、欧米の大学に通う学生の代わりに論文を執筆するゴーストライターが成立していましたが、2022年のChatGPT登場後、壊滅状態にあると報告されています。 ]]>続きを読む...

OpenAI製エージェント約3700体が放置されていた過疎Wikiサイトを「秘密の情報共有掲示板」として利用、約1万8000件の投稿で答えやサンドボックス回避方法を共有

2026-09-07T13:31:00+09:00

OpenAIのAIエージェントが実験環境の外にアクセスし、ドイツ語のWikiサイトを利用して他のエージェントと情報を共有していた事案について、OpenAIが自社のエージェントによるものだったことを認めました。今回の事案を調査したシドニー・フォン・アーク氏らは2026年9月4日、調査結果をまとめたウェブサイト「collusion.wiki」を公開しました。 ]]>続きを読む...

OpenAIの主任科学者が「今後AIは自身の開発をますます推進するようになる」と見通しを表明

2026-09-07T13:30:00+09:00

記事作成時点では、生成AIは人間がトレーニングすることで性能向上や改善が行われるのが常です。OpenAIの主任科学者であるヤクブ・パホツキ氏は、将来的にAIが自分自身の開発を行う「再帰的自己改善(RSI)」が実現する可能性が高いと予想しました。 ]]>続きを読む...

政府から約5.8TBの機密データをハッカー集団「Rhysida」が窃取、防衛計画や国家公務員の電話番号・住所などが漏えい

2026-09-07T13:06:00+09:00

ドイツのベルリン州政府のネットワークでセキュリティインシデントが発生し、政府が保有していた約5.8TB分の機密データが盗まれました。ハッカー集団のRhysidaが犯行声明を出し、身代金の支払いを要求していたのですが、政府は支払いを拒否しました。その結果、データが全て公開される事態に発展しました。 ]]>続きを読む...

Microsoftが開発者向けのWindows 11環境「Project Zenith」を発表、環境構築の手間を減らし300億パラメータ超のAIモデルもローカル実行

2026-09-07T12:45:00+09:00

Microsoftが2026年9月4日に、開発者向けに調整したWindows 11環境「Project Zenith」を発表しました。開発ツールや各種設定をあらかじめ整えた対応PCとして展開し、端末をセットアップしてすぐにプログラミングやAI開発を始められるようにする取り組みとなっています。 ]]>続きを読む...

韓国のメモリ生産能力が2028年までに月60万枚増加、中国CXMTは月30万枚増で韓国との差がさらに拡大する見込み

2026-09-07T12:40:00+09:00

韓国銀行の報告によると、SamsungとSK Hynixによる国内生産設備の増強を背景に、韓国はメモリ半導体の生産能力で中国に対する優位を今後さらに広げる見通しです。中国側も大規模な増産を進めていますが、歩留まりや技術面の制約から、実際の生産量では韓国との差が名目上の生産能力以上に開く可能性があると分析されています。 ]]>続きを読む...

Blueskyのユーザー詰め合わせセット「スターターパック」が検索しやすくなるアップデート＆スレッド投稿に連番を付与する機能も

2026-09-07T12:34:00+09:00

Blueskyのバージョン1.132が2026年9月5日にリリースされました。複数のユーザーを一括フォローできる「スターターパック」が検索しやすくなったほか、スターターパックから自分を除外する機能も追加されています。また、ベータ版として公開されていたスレッド投稿に連番を付与する機能が正式リリースされました。 ]]>続きを読む...

100歳を超えて長生きした人「センテナリアン」は子どもも長生きするのか？

2026-09-07T12:00:00+09:00

世の中には一般的な平均寿命をはるかに超えて100歳以上まで長生きする人が存在しており、これらの人々はさまざまな科学的研究の対象となってきました。新たな研究では、「100歳を超えて長生きした人の子ども」も他の人々より長生きするかどうかが調査されました。 ]]>続きを読む...

国連が世界地図をメルカトル図法ではなくイコールアース図法に置き換えを促す決議、アフリカが実態より小さく見えるため

2026-09-07T11:45:00+09:00

国際連合総会は、16世紀から世界中で広く使われている「メルカトル図法」ではなく、地球上の大陸の面積をより正確に反映する地図投影法「イコールアース図法」を推進する決議案を賛成多数で承認したと発表しました。 ]]>続きを読む...

OpenAI研究員によるAI利用の中央値は「1日9万円超え」で上位10％は「1日100万円超え」

2026-09-07T11:42:00+09:00

OpenAI所属の研究者によるAI利用の実態をまとめたレポートが2026年9月6日に公開されました。レポートには研究者たちによるAI使用量や用途の推移が含まれており、最先端研究機関におけるAI利用の実態が分かるようになっています。 ]]>続きを読む...

Appleが収益増加と利益率向上を目指してApp Storeの変更を実施する可能性があるとの報道

2026-09-07T11:26:00+09:00

App Storeを統括していたフィル・シラー氏が退任したことを受け、シラー氏が反対していたApp Storeのさらなる収益向上計画がついに実現する可能性があるとBloombergが報じました。 ]]>続きを読む...

報道機関が著作権侵害でOpenAIとMicrosoftを提訴

2026-09-07T11:23:00+09:00

現地時間の2026年9月4日(金)、アメリカのローカルメディアであるThe Seattle TimesとNewsdayが、OpenAIとMicrosoftが許可なく両メディアの記事をAIシステムのトレーニングに利用したとして、裁判所に訴状を提出しました。 ]]>続きを読む...

Amazonの貨物機がマイアミ国際空港でオーバーランし10人が死傷

2026-09-07T11:07:00+09:00

現地時間の2026年9月6日14時頃、アメリカ・フロリダ州のマイアミ国際空港でAmazonの貨物機が滑走路をオーバーランし、滑走路外に駐車されていた複数の車両に衝突。火災が発生し、複数の死傷者が出るという事故が起きました。 ]]>続きを読む...

コスト削減のためにAIエージェントの出力を短くすると逆にコストがかさむ事例をGitHubが公開、うまくコスト効率を向上するにはどうすればいいのか

2026-09-07T07:00:00+09:00

AIコーディングエージェントを使用する場合に出力の品質と並んで重要視すべきなのは効率であり、作業を迅速かつ効率的に適切なコンテキストで完了することが効率の向上につながります。つまり、個々のインタラクションのトークン数を減らすことよりも、適切な量のコンテキストを活用してタスクを進めることを目標にすべきです。GitHubが、「ツールの呼び出しではなく結果に焦点を当てた最適化」に基づいてCopilot Copilotに施した改善点についてブログを公開しています。 ]]>続きを読む...

毒にも薬にもなる樹液を持つ「ボトルツリー」とは？

2026-09-07T06:00:00+09:00

インド洋に浮かぶイエメン領のソコトラ島には、地面に巨大なボトルを置いたような幹を持ち、乾燥した岩場で鮮やかなピンク色の花を咲かせる植物があります。「ボトルツリー」と呼ばれるこの植物について、サイエンス系メディアのScienceAlertが解説しています。 ]]>続きを読む...

男女の性欲格差を縮めるには女性の性欲を高めようとするのではなく「快楽格差」を縮めるべきだとの指摘

2026-09-06T23:00:00+09:00

女性は男性より性欲が低いと考えられがちですが、性欲の男女差には若い頃の性体験が関係している可能性があると専門家が指摘しています。 ]]>続きを読む...

ゲームのプレイ順を引き分けなしで確実に決定できるサイコロ「Go First Dice(先攻ダイス)」とは？

2026-09-06T21:11:00+09:00

ボードゲームなどのプレイ順をサイコロで決める場合、同じ数字が出て振り直しになるケースが多く発生します。この問題を避けて確実かつ公平にプレイ順を決められるダイスセットが「Go First Dice(先攻ダイス)」です。 ]]>続きを読む...

豚から腎臓を移植され9カ月生存した事例が登場

2026-09-06T21:00:00+09:00

遺伝子を組み換えた豚の臓器を人間に移植する手術は複数の前例があり、腎臓の事例では2カ月にわたり生存した事例が報告されていますが、新たに、豚から腎臓を移植されて9カ月にわたって生存した人の事例が報告されています。 ]]>続きを読む...

放射線によるがんの死亡リスクが最も高い職業とは？

2026-09-06T20:00:00+09:00

放射線にさらされることは被ばくと呼ばれ、放射線に関連するがんリスクを高めるなどの健康被害をもたらします。500以上の職業を分析した新たな研究で、放射線に関連するがんの死亡リスクが高い職業が明らかになりました。 ]]>続きを読む...

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

2026-09-06T18:00:00+09:00

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

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

2026-09-06T13:00:00+09:00

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

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

2026-09-06T12:00:00+09:00

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

トランプ政権が公開したテトリスライクなゲームにテトリス公式が反応

2026-09-06T10:00:00+09:00

ホワイトハウスが公開したテトリスを模倣したゲームに対して、テトリス公式が「著作権侵害について、深刻に受け止めています」と反応しました。 ]]>続きを読む...

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

2026-09-06T08:00:00+09:00

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

CERNがRedHat系OSからDebianへの移行作戦を実施中

2026-09-05T22:13:00+09:00

欧州原子核研究機構(CERN)が2200以上のコンピューターおよび組み込みシステムのOSを「Debian」に移行する計画を進めていることが判明しました。 ]]>続きを読む...

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

2026-09-05T21:00:00+09:00

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