News for hackers. Stuff that matters.
Re:ProofOfThought: LLM-based reasoning using Z3 theorem proving by staplers on Sunday October 05, 2025 @01:46AM (#45479093)

  doable but not easy, for business ideas
That requires a lot of human psychology and advanced hard economic theory (not the fluffy academic kind). With human controlled monetary supply and most high-level business requiring illegal and immoral exploitation of law and humans in general, it's not a path machines can realistically go down or even want machines treading down.

Think scams and pure resource extraction. They won't consider many impacts outside of bottom line.

There are no comments on this comment yet.