OpenAI reports its internal model made progress on unsolved maths problems
Why it mattersOpenAI's unreleased model is producing checkable maths results, so expect that reasoning strength in products you can buy later.
Why it mattersOpenAI's unreleased model is producing checkable maths results, so expect that reasoning strength in products you can buy later.
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.
Why it mattersAtlassian's tools are getting OpenAI models built in, so check what your team already pays for before buying separate AI add-ons.
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.
Why it mattersOpenAI is using Ironclad's contract workflows as a proving ground for agents that operate software, so legal tooling is an early target.
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.
Why it mattersA 753B coding model now runs on , so you no longer need your own stack.
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.
Why it matters89% of telecom respondents in NVIDIA's own survey call open models important, so expect operator customers to ask for them.
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.
Why it mattersYour data scientists can start work on HyperPod clusters in a few clicks, with no command-line setup or platform-team ticket.
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.
Why it mattersAWS now documents a full reference build for voice agents that sit on top of your existing booking backend.
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.
7 stories, about 2 min 27 sec. Nothing was left out to fill the time.
“Stay hungry. Stay foolish.”