アンソロピックは米国時間2026年9月4日、AIモデルClaudeを使い、フェルマーの最終定理の証明を11日間でLeanに形式化し、コンピューターで検証できる状態にしたと発表した。 作業では約60億の出 2026年8月2日公開の「選挙ドットコムちゃんねる」では、リベラル勢力の立て直しについて、ゲストの東京新聞の望月衣塑子記者、ノンフィクションライターで元毎日新聞記者の石戸諭氏、MCの毎日新聞・田中裕之 9月に入った。 気温はグッと下がった一方、まとまった雨が降る日も増加。
プロ野球の興行は天候との睨めっこでもあるため、天気予報を気にする瞬間が増えたように思う。