• 15 Posts
  • 438 Comments
Joined 29 days ago
cake
Cake day: September 29th, 2026

help-circle
















  • This is the only sort of thing AI should be used for.

    But, also:

    The refutation also doesn’t yet deliver a usable algorithm. Showing that a subexponential algorithm for 3-SAT exists is not the same as publishing one with a reasonable constant: many existence proofs in complexity theory are non-constructive or produce algorithms with constants so large they are useless in practice. OpenAI’s own announcement frames this cautiously: the refutation reopens questions about how much faster these tasks could become, but guiding the search for better algorithms is not the same as having finished it.