alpha proof

Stream: mathlib4

[edklencl]

hello guys,i d like to know the difference between alpha proof and gpt

[Mauricio Collares]

Can you be more specific and/or provide context and motivation for your question? People here are in general very helpful, and I'm afraid someone will spend a couple of hours writing a detailed comparison that may or may not be useful to your goal.

[Junyan Xu]

You can ask this question to gpt, but not to alpha proof