ProofOfThought: LLM-based reasoning using Z3 theorem proving

Re:ProofOfThought: LLM-based reasoning using Z3 theorem proving by Barbing on Saturday October 04, 2025 @09:36PM (#45478200)

This is somewhat unusual: 28% on the Tomatometer, but 7 out of 10 on IMDb.

Beyond its relevancy to the parent comment, would you consider it a good movie yourself? (for a random/average HN commenter to watch)

[ Parent | on HN ]

Re:ProofOfThought: LLM-based reasoning using Z3 theorem proving by c-hendricks on Saturday October 04, 2025 @10:01PM (#45478314)

It didn't do well critically, but audience scores on many platforms are 60-70%. It came hot on the heels of The Matrix, has similar themes, but nowhere near as ... everything compared to Matrix. I'd bet the only reason it did so poorly critically is due to the timing of the release.

It's a fine movie though.

[ Parent | on HN ]

Re:ProofOfThought: LLM-based reasoning using Z3 theorem proving by Barbing on Saturday October 11, 2025 @05:15PM (#45552773)

Thank you :)

[ Parent | on HN ]

Re:ProofOfThought: LLM-based reasoning using Z3 theorem proving by bonoboTP on Sunday October 05, 2025 @08:36AM (#45481052)

If you like Matrix, Memento, Truman Show, Black Mirror (San Junipero, Bandersnatch), Inception, Interstellar, 12 Monkeys etc. you may also like it. These are not necessarily thematically aligned but based on vibes they cluster near it for me.

I definitely enjoyed it many years ago as a younger person.

[ Parent | on HN ]

Re:ProofOfThought: LLM-based reasoning using Z3 theorem proving by Barbing on Wednesday October 15, 2025 @12:03AM (#45587956)

Nice, thanks :)

[ Parent | on HN ]

Re:ProofOfThought: LLM-based reasoning using Z3 theorem proving by self on Sunday October 05, 2025 @10:41AM (#45481843)

Three movies with overlapping themes came out in mid-1999: The Matrix, The Thirteenth Floor, and eXistenZ (probably in that order of box office revenue).

[ Parent | on HN ]

Re:ProofOfThought: LLM-based reasoning using Z3 theorem proving by Barbing on Wednesday October 15, 2025 @12:03AM (#45587959)

Ah interesting thanks!

[ Parent | on HN ]