LLMで形式検証の記事が436点、Kimi K3.1 Proが416点、スウェーデンの遮断が308点、同じAIリクエストでもテキサスはスウェーデンの8.5倍CO2を出すという記事が138点でした（10/23時点のHNまとめ）。