• 0 Posts
  • 239 Comments
Joined 3 years ago
cake
Cake day: June 17th, 2023

help-circle
















  • It’s kind of remarkable to see the model really reasoning through the problem like a human

    100% bullshit.

    the AI achieved its results by “persevering down paths that a human may have dismissed as not worth their time to explore,

    So it just auto-completed its way down what a human would have (mistakenly) considered a dead end. Fine, it brute forced it.

    a caveat: “While the original proof produced by AI was completely valid, it was significantly improved by the human researchers at OpenAI and the many other mathematicians involved in the present paper. The human still plays a vital role.”

    And it produced garbage anyway, which meant it just let the real mathematicians know the assumed dead end was actually useful.



  • Which means the app was crap. Rather the rules it used to validate a valid name are garbage.

    Usually because someone tried to be too strict. E.g. names are space delimited A-Za-z strings, rather than just accepting any old Unicode string and safely processing it (e.g. with an SQL prepared statement).

    I’ve had websites reject email addresses with one of the newish TLD’s because someone decided they new how to validate an email address (it’s more a more flexible spec than you might think).


  • That’s conforming (to what ever criteria). Send me a UTF-16 string of at most 100 code points. Send me a 7-bit ASCII string of only A-Z0-9. Reject anything that doesn’t comform.

    sanitizing is trying to clean an input. That’s “lemme just double escape some special characters” or stripping/replacing/encoding characters or truncating strings, coercing types. Don’t do this, your sanitization code will have bugs or edge cases.