Seen anything novel by o1-preview?

Community
3

  • 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 published, some may use it to see if it can come up with possible new cures for specific types of cancer. However I would not expect those queries to be done until the models can be fine tuned with needed knowledge.
3 Likes