難問ABC予想は証明されたのか　論文発表から13年、論争は迷宮へ

興奮の始まりは、2012年8月30日だった。ABC予想の証明をうたう英語の論文が、突如インターネットに公表された。英紙は「世界一難しい数学の問題がついに陥落した」と報じた。論文を書いたのは望月新一氏（56）。京都大学数理解析研究所の教授に32歳で就いた天才肌の数学者だった。

　1985年に提案されたABC予想は、整数の根幹に切り込む「最も重要な未解決問題」と注目される問題。だが、望月氏が証明に用いた「宇宙際（うちゅうさい）タイヒミュラー理論（IUT理論）」は難解だった。「エイリアン」「劇場」などの独自の数学用語にあふれ、理解者は当初わずか3人。「どこが分からないのかさえ分からない」と答える数学者もいた。

　2015年、英国で100人近くが集まる勉強会が開かれたが、「聴衆は迷子になった」（参加者）。「理解できる形での書き換えが待たれている最も悪名高いのがABC予想の証明」との声も聞かれた。

https://news.yahoo.co.jp/articles/211f173062b05142c9e5102a10e1fc540d273032

古文書調査三大やめとけ

・白手袋（ただの見栄、しかも有害）
・虫嫌いの現地調査（元気な紙魚達と出会える）
・巨漢の現地調査（蔵の二階を踏み抜く）

三つ目は私ですすみません🙇

— 原　直史 (@HARA_Naofumi) August 30, 2025

我が名はアシタカ！

特定のExcelファイルで、誰が使用中でも私が使用中というメッセージが出るらしく、閉じて欲しいとの電話が殺到して困っている！
直し方を知るものはいるか！ pic.twitter.com/Wcgad20z5G

— 筒井.xls@エクセル関数擬人化本著者 (@Tsutsui0524) August 30, 2025

Excelで~$で始まるファイル（例：~$ファイル名.xlsx）は、ファイルを編集中のユーザーが使用していることを示すための一時ファイル（ロックファイル）です。これはWordやExcelでファイルを編集中に自動的に作成され、ファイルを正常に閉じると通常は削除されます。このファイルは隠しファイルのため、エクスプローラーで隠しファイルの表示設定を有効にしないと見えません。

エミュレータ作っててターゲットのソフトを解析すると，範囲外アクセスや未定義動作に依存してて明らかにバグってるけどなんか奇跡的に動いてるとか，仕様を勘違いしてるけど別の勘違いと重なってなぜか動いてるとか見たりする事あって，きっとこう言うの一杯あるんだろうなおっかねぇと思ったりする https://t.co/skUpN4SZaR

— R. Shioya (@r_shioya) August 29, 2025

インターネット「コンディショナーは髪の表面に、トリートメントは髪の内部に働きかけるものなんやで」
大学生ワイ「ほーん、ほな両方使わなあかんのか」

会社の先輩「コンディショナーとトリートメント、特に違いはないで」
化粧品処方開発者になった新卒ワイ「ファーwww」

— 和ノ蔵 美知瑠@美容科学系Vtuber (@wnkr_cosme) August 29, 2025

昨日俺が執刀した脳外科の高難度のオペ、麻酔科医の挿管が危なっかしくて、麻酔科医には退出してもらって執刀医の俺が挿管して自家麻酔でやったわ。
麻酔科医マジで使えねえ。
あいつらは日本医師会や日本麻酔科学会の既得権益だけで食ってる存在やからな。
俺のオペの邪魔だけはしないでほしい。

— 不滅の医学徒 (@zTH3LyM3MC24058) August 29, 2025

この計算ドリルやる意味無くて草 pic.twitter.com/NECVbdhH1g

— はんぺんち🖼 (@HP_naeta) August 28, 2025

「1×0=0」という計算は、大人にとっては当たり前のこととして受け入れられているが、子どもにとっては納得しにくい問題である。大人であれば「掛け算に0が入れば0になるものだ」と簡単に片づけられるが、子どもにはその仕組みが理解できず、疑問が残ることが少なくない。その背景には、数字の「0」が持つ「ない」という概念を理解することの難しさがある。

子どもに「1」や「2」を教える際には、鉛筆など実際の物を見せて「1つある状態が1」、「もう1つ増えたら2」と対応させることで容易に理解させられる。ところが「0」は物が何もない状態を示すため、実物を使ったイメージが作りにくい。つまり「ある」ことを理解するのは容易だが、「ない」ことを理解するのはより高度な抽象的思考を必要とするのである。

さらに、0の特殊性は掛け算においても現れる。例えば「1×2」であれば「2」になるが、同じ計算に0を含めた途端に結果はすべて「0」となる。この「0をかけることで、存在していたものがすべて消えてなくなる」という性質が、子どもにとって大きな壁となる。なぜなら、現実の生活では目の前にあった物が突然消えるということは起こらず、むしろ不自然に感じられるからである。つまり「0」という数字が持つ「存在しない」という性質そのものが理解を難しくし、掛け算における0の振る舞いを一層わかりにくくしているのである。

https://gentosha-go.com/articles/-/42889

Pixel 10 の１００倍ズーム
謎の言葉が生成された pic.twitter.com/xGopef1KxY

— null-sensei (@GOROman) August 28, 2025

　実はPixel 10 Proは、望遠カメラの性能自体は同じながらもデジタルズームが強化されており、Pixel 9 Proが最大30倍までだったのに対し、Pixel 10 Proは100倍までのデジタルズームが可能となっている。ただ、30倍超のデジタルズームはさすがに画質が落ちてしまうのだが、それをAI技術でクリアにするのが超解像ズームProである。

　具体的には30倍以上のズームで撮影した写真に、生成AIの技術を取り入れ鮮明な写真にしてくれる。生成AIを用いるだけあって、元の被写体を完全に再現してくれるわけではないことと、正確性を期すため人物の顔には適用されないといった制約はあるが、かなり離れた場所にある被写体を鮮明にしてくれるのは驚きだ。

　超解像ズームProは設定をオンにしておくと撮影後に自動で適用されるのだが、適用前後の写真のうちどちらを使用するかはユーザーが選べる。生成AIを用いるだけあって超解像ズームProによる補正でかえって写真が不自然になる場合もあるだけに、撮影後は好みに応じた写真を選ぶのがいいだろう。

https://ascii.jp/elem/000/004/315/4315582/

流行りのwindows11最新バグでSSD逝って重要なデータごとPC死にました
皆さん今まで本当にありがとうございました pic.twitter.com/trw0brYPKG

— Hegadel (@Hegadel_ONR) August 27, 2025

　　X(旧Twitter)ユーザーのねこるすきー(@Necoru_cat)さんによると、Windows 11の8月の最新パッチ「KB5063878」および7月のプレビューパッチ「KB5062660」には、大容量ファイルコピー操作でドライブにアクセスできない不具合が発生する問題があるという。検証に用いたSSD 21台のうち12台は影響を受け、その多くがPhison系のコントローラを採用していた。

　この不具合を報じた海外メディアのTom’s Hardwareは19日(現地時間)、Phisonに取材をしたところ、すでにPhisonはこの問題を把握して調査しているとのこと。弊誌が20日朝にPhisonに取材したところ、この問題はPhisonのコントローラに起因するものではなく、Windows側の不具合であることが判明したため、Microsoftが修正作業を行なっているとした。

https://news.yahoo.co.jp/articles/8ac2bce8310c01b4c5e9b9a0f1f963f90f8cf861