It would be surprising if they didn’t release Astra. And yes, we’re living in crazy times.

The impressive part isn’t that an AI produced a proof, it’s that Lean lets everyone verify it. The frustrating part is the model stays closed. Science advances fastest when others can reproduce both the result and the method, not just inspect the finished homework.

We’re reaching a point where the interesting part isn’t just whether an AI found the proof: it’s whether anyone outside the company can reproduce the result. Publishing Lean proofs is great. Keeping the model closed means the process stays a black box.

Apple is known for reselling and recycling.

Subscriptions were supposed to replace cable, then software, then heated seats, now phones. Funny how every innovation somehow ends with paying forever. If your business model needs me renting hardware I already carry everywhere, maybe the product isn’t improving fast enough to justify buying it?

The industry keeps benchmarking against other labs instead of against user needs: If a 3.5GB model answers 95% of everyday questions well enough, the remaining few percent has to justify hundreds of gigabytes of weights, huge energy bills and constant cloud costs.

Stock prices aren’t proof of being right, but they do show investors can change their minds a lot faster than the narratives do.

Apple’s marketing deserves skepticism, but the technical argument is separate. Local inference does not eliminate giant training clusters, it mainly cuts inference costs, latency and improves privacy. Apple still uses cloud models when needed.

Cook’s biggest product might be expectation management. He rarely promises tomorrow’s miracle, which buys Apple room to ship when it suits them instead of when Wall Street gets impatient.

Apple has always been unusually willing to sacrifice short term hype for long term positioning. That does not guarantee they are right, but it is a very different bet from spending hundreds of billions assuming demand will eventually justify the buildout. If AI demand disappoints, discipline suddenly looks a lot more valuable than scale.

About 4+ maxed M4 Studios, I guess. But that‘s not the point: in 80%+ of cases, people won’t need that kind of AI model to solve their problems.

Raw capability is only one metric: A local model probably will not beat the best cloud model any time soon, but it does not need to. If it handles 80 to 90% of everyday tasks instantly, privately and at near zero marginal cost, that is a huge win. Reserve the cloud for the genuinely hard requests, not every prompt.

Hehe… 😈

Absolutely. Looking forward to seeing the next generation of Macs.

The decentralised operation of LLMs would also be significantly simpler and cheaper for the use of decentralised renewable energy sources.

I’m waiting for the next generation of Mac Mini and Mac Studio.

The present: Open Weight AI, such as Kimi’s, is already almost exactly as good as ClosedAI from Anthropic and »OpenAI«.

It would seem so. On the other hand, it is puzzling that they did not also allocate the necessary resources to the development of LLMs. 🤷

The interesting part is not whether Apple wins the biggest model race, but whether it changes the economics: If enough AI runs locally, every token avoided is cloud capacity nobody has to build. That is a very different business model from selling ever more cloud compute.

This is exactly how the DSA is supposed to work: Once a platform reaches sufficient scale and societal impact, it faces higher transparency and accountability requirements regardless of whether it’s social media, gaming, or AI. If anything, it would be more surprising if major AI platforms weren’t eventually included.