Do you have a dumb question that you're kind of embarrassed to ask in the main thread? Is there something you're just not sure about?
This is your opportunity to ask questions. No question too simple or too silly.
Culture war topics are accepted, and proposals for a better intro post are appreciated.
Jump in the discussion.
No email address required.
Notes -
I've had difficulty even with its step-by-step proofs. It will make very subtle errors that really kill the whole point of what you're going for. For one example, I had a spot where it introduced a variable and then sneakily assumed a property for it that was never proven (and I suspect couldn't be). I spent more time trying to figure out where its various proof attempts were broken, then sometimes asking it to fix it, then having it come up either with something related that was subtly broken in a different way... or suddenly go in a completely different direction that required me to step back to square one to figure out if it was on to anything. I never could get it to give me a non-broken proof. This was recently, with a GPT5 subscription, using the thinking and deep research modes.
On the other hand, I may still find value in talking to it about problems I'm working on. Perhaps I should incorporate it in my process in a new way. Instead of seeing what it says and spending a bunch of time trying to validate the answer, I think in the future, I'll just ask it various questions, skim what it's got, poke at any clear issues, and ask it to take different approaches. I have had it introduce me to tools that I'd never encountered before, and that has been helpful. So far, I haven't actually used one of the tools that it introduced me to, but they're nice to know, and thinking about one of them did help me realize that I already had another tool in my toolbox that let me do something. So, in a very roundabout way, it did help me solve a problem, just by jogging my thought process to something new and different that ultimately led me back to something I already knew.
More options
Context Copy link