出典リンク一覧 本日のトップニュース • Human mathematicians are being outcounterexampled (https://xenaproject.wordpress.com/2026/07/20/human-mathematicians-are-being-outcounterexampled/) • Verbalizable Representations Form a Global Workspace in Language Models (https://arxiv.org/abs/2607.15495) • Build specialized agent workflows for your business with Amazon Quick and NVIDIA NeMo Agent Toolkit (https://aws.amazon.com/blogs/machine-learning/build-specialized-agent-workflows-for-your-business-with-amazon-quick-and-nvidia-nemo-agent-toolkit/)
注目の深掘り • AI’s most important protocol is getting a little bit easier to use (https://techcrunch.com/2026/07/20/ais-most-important-protocol-is-getting-a-little-bit-easier-to-use/)
小ネタ・その他 • Nativ — Local AI for your Mac (https://blaizzy.github.io/nativ/) • Safety and alignment in an era of long-horizon models (https://openai.com/index/safety-alignment-long-horizon-models)
