Innovation - Page 7

OpenAI says its models refuted the Exponential Time Hypothesis and proved local smoothing in all dimensions. Neither claim has been peer reviewed yet.

Microsoft says Teams will use AI to flag phishing on external first-contact chats from early November, with worldwide availability planned for December.

DHS has ordered DeepSeek products excluded from federal civilian procurement and removed from civilian agency IT under a FASCSA order.

China's commerce and science ministries propose adding 40 AI, biomedicine and solar technologies to the export-control catalogue, with registration now.

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.

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.

OpenAI says Codex can now suggest your next message (beta, Pro), and ChatGPT dots can be created on a phone and start work in Codex. What is confirmed, and what is a staff post.