
01AI at home
An early Ollama update lets Mac users try AI running on their own computer inside ChatGPT Desktop. That brings local AI into a chat app many people already know. The update also improves how the software handles longer conversations and images.
Why it mattersRunning the AI locally gives people another option for where the model does its work.
Keep in mind: This is an early test release for Macs, rather than a finished feature for every computer.
Read the source · Ollama ↗02Science
Anthropic says its Claude assistants spent eleven days turning Fermat’s Last Theorem into a proof that checking software can inspect step by step. The team has shared the result and code. It is a new way to check an existing proof, rather than a newly discovered theorem.
Why it mattersWork that can be checked at each step offers a promising way to make AI’s contributions easier to trust.
Keep in mind: The result is Anthropic’s reported work; it does not show that AI can solve every difficult maths problem.
Read the source · Anthropic ↗03Everyday tools
Pi, a tool for working with AI on code, now supports GPT-6 Astra. The same update repairs a packaging mistake that stopped some developers from using the previous release. It is a modest change, but a useful one for people whose work was interrupted.
Why it mattersThe fix restores a working tool and adds another model to choose from.
Keep in mind: The release does not show whether Astra performs better on particular tasks inside Pi.
Read the source · Pi ↗04Everyday tools
A small Codex update makes GPT-6 Astra visible in its model menu. It also chooses Astra by default when the user has not selected a particular model. That removes an extra step for people trying the newer option.
Why it mattersAn existing session may use a different model after an update if no preference was set.
Keep in mind: This update fixes how the model is offered; it does not establish a broader improvement in performance.
Read the source · OpenAI ↗05Everyday tools
OpenCode has fixed a bug that hid GPT-6 from some people using an OpenAI subscription. The software was misreading the model’s name. The update makes the option visible again without changing what those users had already paid for.
Why it mattersPeople affected by the bug can find an AI model their subscription already gave them access to.
Keep in mind: The fix restores the choice; it does not measure how well the model works in OpenCode.
Read the source · OpenCode ↗06More choice
Researchers at MBZUAI have released six versions of an AI family called K2 Horizon. They range from smaller models to ones that need much more powerful computers. The release includes code, training material and details of how the models were made.
Why it mattersThat gives other teams more room to explore AI suited to different machines and budgets.
Keep in mind: Performance claims come from the team behind the release and still need independent checks.
Read the source · MBZUAI ↗