ChatGPT - Page 20

A preprint credits Shanghai AI Lab's Intern-S2 with helping prove Ghys's codimension-one holomorphic Anosov conjecture; Lean formalisation is on GitHub.

KPMG's 2026 Global CEO Outlook found 31% of CEOs name cyber the top growth risk and 79% keep AI a top investment priority.

Tim Sweeney says Epic has a "huge pivot" to AI underway. Bloomberg reports its Marvel/Star Wars shooter is delayed and moving to "AI first" production.

LightOn's open 2B-parameter ColGrep-Agent searches code locally for coding agents; it says Claude Code used 34% fewer API tokens than with grep.

AWS: Bedrock offers GPT-6 Sol and Luna via global cross-Region inference from Thailand, Malaysia, Singapore, Indonesia and Taiwan; Astra from Singapore.

Microsoft CEO Satya Nadella's X article says AI models should be treated like insider risks, with controls outside the model and a way to pause it mid-task. What he wrote, and what it doesn't show.

DeepMind's AlphaProof Nexus is in Science. Its authors report 9 of 353 Erdős problems and 44 of 492 OEIS conjectures proved. What that means, and the limits.

A preprint from EPFL researchers, listed on Apple's research site, finds a single minimal coding-agent session matched or beat elaborate machine-learning agent systems in its tests. Pasqal releases skills that let coding agents prepare quantum experiments, and Microsoft makes 30 Dynamics 365 CRM skills generally available, with Autopilot still in private preview.

Hugging Face's FineEnvs team has released an open framework that turns unmodified coding-agent harnesses such as Claude Code, Codex and OpenCode into reinforcement-learning environments. In its own tests, one small model scored 62% in one harness and 33% in another. What a harness is, how the training works, and what the results do and do not show.

An NVIDIA tutorial shows OpenAI's Codex coding agent turning a Jetson Orin Nano into a self-starting kiosk that captions a live webcam feed with Google's small Gemma 4 E2B model, running on the device. What the demo shows, what "No Mac required" means, and why local inference matters.