• 0 Posts
  • 73 Comments
Joined 1 year ago
cake
Cake day: June 20th, 2025

help-circle
  • The submarine is a storytelling device. It is no ordinary submarine, the novel went deeper but you can look at the illustration “the main lounge of the Nautilus” in the article to catch a glimpse.

    Point is, if Nemo doesn’t want to be found, nobody can find him.

    PS: oops, username checks out







  • It is sarcastic. But it is also what OpenAI tried.

    The reason they just drop these and say nothing is because these are unverified slop.

    OpenAI’s method of verification is rewrite them as Lean proofs that can be verified by computers. Two things have happened so far:

    1. The Lean proof proved the slop wrong, easy, retract.
    2. The Lean proof, being generated by a LLM, is susceptible to hallucinations. For example the Navier Stokes problem Lean proof turned out to be slightly different than the original natural language proof, because the LLM tried to bend a condition to make the proof compile.

    But, in case nobody found any problem, OpenAI gets to claim credit for the discovery until someone can review and prove something’s wrong.

    You can say these proofs are “Schrodinger’s correct”












  • I think it’s empathy. It may feel discouraging that there’s so many things worth appreciating in the world yet so little time, but if each of us just try to do so in what little time we have, everything will get seen by at least someone, and beauty that made someone happy (at least in this case you, me, and the OP) is beauty not wasted :)


  • There are actually pretty good precedents for that. All three major phone companies have been breached. The government has been breached (then someone started a datacenter fire to cover it up). The largest online retailer has been breached. Basically everyone’s info is floating around somewhere.

    And seeing how much care they put into software here, I think that will happen again. This law is not intended to fix that, it is to punish the retailer above.

    The owner still hides in the US, pretend he is a foreigner and ignore Korean parliament summons, then cries “discrimination”. They still aren’t fined anything more than a year later. Meanwhile actual foreigners gets an entry ban immediately if they evade police.