• 0 Posts
  • 54 Comments
Joined 1 year ago
cake
Cake day: August 26th, 2025

help-circle




  • Tools are just tools; there are good ways and bad ways to use them. “Grok, go find bugs in the Linux kernel” isn’t a good one. This isn’t hard to understand…

    There were many, partially well-intentioned, mostly fame-seeking, one-off ‘projects’ ‘scanning’ public repos and flooding them with low-quality low-effort PRs and issues; things that no human ever read until the a maintainer did.

    “They made a poison and sold us a cure” is absolutely a valid criticism; that’s two sides of the same coin. But pretending that he’s being hypocritical or that LLMs aren’t useful is just being wrong for the sake of hating AI







  • ImgurRefugee114@reddthat.comtomemes@lemmy.world•So much more reliable
    link
    fedilink
    arrow-up
    2
    arrow-down
    1
    ·
    edit-2
    3 months ago

    Primarily available to the extremely privileged

    My local LLM narrowly fetching and caching a page or two isn’t what’s been hitting infra across the global and making indie sites blow up or die out. Doesn’t matter if the small players can’t buy the same access as the big players; they don’t need it and it’s not really for them.

    (liability to asset) For whom?

    The balance sheet. I didn’t mean it in the abstract.



  • ImgurRefugee114@reddthat.comtomemes@lemmy.world•So much more reliable
    link
    fedilink
    arrow-up
    42
    arrow-down
    2
    ·
    edit-2
    3 months ago

    Its all public anyways. Its more like they sold infrastructure access afaik. Which is a smart move. Money aside, unauthorized scraping is a much bigger PITA and can drain resources quickly, including financial resources. Selling access means you can regulate it and also make it go thru appropriate infra; plus it becomes an asset rather than a liability. Not a fan of the wikimedia org lately, but I don’t fault them for that one.







  • So youre suggesting they secretly have Einstein standing in the server rack, making loud fan noises with his mouth and just typing really fast?

    Either the problems were solved or they weren’t. If they were, then that’s evidence enough; doesn’t matter if they model isn’t publicly available.

    Having those sudden breakthroughs come from a person or even a large group of mathematicians, suddenly and all at once, would be more surprising than a well-harnessed LLM figuring it out.

    With that said, I’m curious about peer review of the actual proofs. Just because Lean builds them doesn’t mean they’re materially valid. It could very well be that it’s completely wrong and it just hallucinated well enough to fool OpenAI into publishing it, which would be a hilarious egg-on-face moment