Why strawberry is not interesting to me

[EricGT]

@trenton.dambrowitz

I have no clue what to even ask!

Seen anything novel by o1-preview?

For me as one who has programmed with Prolog for years using non-deterministic code to solve problems, those are the types of problems that I plan to test with the o1 models. Another area that many are hoping to see the o1 models be of improvement are in proving theorems using Lean 4. https://leanprover.zulipchat.com/#narrow/stream/219941-Machine-Learning-for-Theorem-Proving/topic/OpenAI.20.22Learning.20to.20Reason.20with.20LLMs.22 While I have not and do not expect to see such publis…