Seventy: Wednesday, 7 October 2026

Wednesday, 7 October 20267 stories made this issue.

What happened. OpenAI released findings on unsolved maths problems worked by one of its internal frontier models. Machine-checked Lean versions of the proofs, plus supporting write-ups, are posted on GitHub.

What happened. Atlassian and OpenAI have widened their working relationship so OpenAI's most advanced AI can draw on a company's stored knowledge. The aim is to help teams organise, create and finish their work.

What happened. OpenAI is working with contract software maker Ironclad to teach and test AI agents on multi-step contract tasks. The aim is to improve how agents operate software for professional work.

What happened. Z.ai's (Zhipu AI) GLM 5.3 is now available on Amazon Bedrock. It is built for coding and long-running agentic tasks, and AWS customers can use it without setting up their own servers for it.

What happened. NVIDIA's State of AI in Telecommunications report finds 89% of surveyed operators call open source models and software important to their AI strategy. NVIDIA says telcos want to trust, control and tailor AI for core uses such as self-running networks and customer support.

What happened. Amazon SageMaker Studio now lets data scientists and ML engineers create and manage Spaces on HyperPod EKS clusters from the browser. They can launch JupyterLab and Code Editor environments without command-line tools.

What happened. AWS published a tutorial for building a voice travel concierge on Amazon Bedrock AgentCore, a Managed Knowledge Base and Nova Sonic. It targets airline tasks such as changing a seat or checking a delay by speech.

That's the whole issue.

7 stories, about 2 min 27 sec. Nothing was left out to fill the time.

Words of the day

Multi-agent system
Several AI agents working on one task, each with its own job — one plans, one searches, one checks — passing work between them.
Interpretability
Work on understanding why a model produced a particular answer, rather than treating it as a black box.
brand suitability controls
Advertiser settings that restrict which kinds of content or contexts their ads can appear next to.
For today

“Stay hungry. Stay foolish.”

— Steve Jobs, Stanford commencement, 2005