Skip Navigation

Posts
20
Comments
116
Joined
3 wk. ago

  • Unpopular opinion: Google’s approach actually makes sense here. The value isn’t the rolling metal box, it’s the autonomous driving stack. If Zeekr can build a high quality EV platform more cheaply, why reinvent it? Buy the best chassis, replace the electronics you don’t trust, and focus engineering effort where your competitive advantage actually is.

  • 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.

  • Technology @lemmy.world

    OpenAI Says Astra Solved 10 Open Math Problems With Lean Proofs: The proof files are public, but the new model is still private.

    www.implicator.ai /openai-astra-10-math-problems-lean-proofs/
  • 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?

  • Technology @lemmy.world

    Should you still buy your next smartphone — or subscribe to it instead? Apple, Samsung … are betting that leasing, subscriptions, and guaranteed buyback programs can make upgrading more attractive.

    techcrunch.com /2026/08/01/should-you-still-buy-your-next-smartphone-or-subscribe-to-it-instead/
  • 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.

  • 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.

  • 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.

  • Technology @lemmy.world

    Tim Cook sees Apple’s hybrid AI strategy as a ‘competitive weapon’: Apple emphasizes that much of its AI suite — Apple Intelligence — can be run on the devices themselves.

    www.cnbc.com /2026/07/30/tim-cook-sees-apples-hybrid-ai-strategy-as-a-competitive-weapon-.html
  • 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.

  • Technology @lemmy.world

    ChatGPT and Roblox will be subject to tighter rules in the EU. They will be added to the EU’s ‘very large online platform’ VLOP list, subjecting them to stricter rules under the Digital Services Act.

    www.engadget.com /2226821/chatgpt-roblox-vlop-eu-scrutiny/
  • These are purely paper profits.

  • Unfortunately, it is highly likely to take decades before Meta loses its relevance: the network effects are enormous, and the vast majority of people over 35 will probably only leave Instagram and (from the age of 60) Facebook completely in exceptional circumstances. And I don’t even want to get started on WhatsApp…

  • Technology @lemmy.world

    Microsoft logs $3.2B from Anthropic investment, but OpenAI was a mixed bag

    techcrunch.com /2026/07/29/microsoft-logs-3-2b-from-anthropic-investment-but-openai-was-a-mixed-bag/
  • Technology @lemmy.world

    Mark Zuckerberg Says US Should Not Ban Chinese AI Models, Warns of Regulatory Capture. The Trump administration is expected to announce a voluntary testing framework.

    www.implicator.ai /zuckerberg-opposes-chinese-ai-ban-regulatory-capture/
  • Technology @lemmy.world

    Universities drop AI detection tools over fears about accuracy: Some institutions are overhauling assessment and trying to move away from the emphasis on surveillance

    www.ft.com /content/49304b1e-8a9d-4fb6-bc4d-37dd3430bb98
  • Technology @lemmy.world

    Pacing the Frontier: A statement from 1,132 employees of frontier AI companies

    www.pacingthefrontier.com
  • Technology @lemmy.world

    Nvidia and OpenAI in talks for up to $250 billion dollar backstop to fund AI infrastructure plans

    www.cnbc.com /2026/07/27/nvidia-and-openai-in-talks-for-up-to-250-billion-dollar-ai-backstop.html
  • Technology @lemmy.world

    Thoughts on "Open" Models: The debate focuses on balancing open and closed models, with cost and geopolitical considerations influencing the push for open weight AI.

    spyglass.org /open-weight-ai-models/
  • Technology @lemmy.world

    OpenAI and Anthropic Lobby Washington to Restrict Chinese Open-Weight AI

    www.implicator.ai /openai-anthropic-lobby-washington-open-weight-ai/
  • Technology @lemmy.world

    Meta launches new Facebook Verified badge for actual, real humans

    www.engadget.com /2222353/meta-launches-facebook-verified/
  • Technology @lemmy.world

    DeepSeek's Liang Wenfeng Breaks His Silence: In a rare four-hour talk, the reclusive founder reveals an almost Daoist philosophy of AI—AGI as a tide no company can own...

    www.fredgao.com /p/deepseeks-liang-wenfeng-breaks-his
  • Technology @lemmy.world

    How OpenAI’s human mistake led to the AI-powered hack on Hugging Face

    techcrunch.com /2026/07/22/how-an-openais-human-mistake-led-to-the-ai-powered-hack-on-hugging-face/
  • Technology @lemmy.world

    If you pay a hacker’s ransom, chances are that they’ll come back for more

    techcrunch.com /2026/07/22/if-you-pay-a-hackers-ransom-chances-are-that-theyll-come-back-for-more/
  • Technology @lemmy.world

    Bessent says U.S. could sanction China over AI model ‘theft’

    www.cnbc.com /2026/07/21/bessent-china-ai-sanctions.html
  • Technology @lemmy.world

    China considers tighter export controls on AI models and chips

    www.reuters.com /world/asia-pacific/china-considers-tighter-export-controls-ai-models-chips-ft-reports-2026-07-21/
  • Technology @lemmy.world

    Trump administration reportedly builds a slow-motion ban on Chinese AI models through sanctions and soft pressure

    the-decoder.com /trump-administration-reportedly-builds-a-slow-motion-ban-on-chinese-ai-models-through-sanctions-and-soft-pressure/