Yang LuQuest for Proof Automation: What can ChatGPT4 do? Come up with a theorem and prove it! (part 4/N)tl;dr: ChatGPT can come up with interesting theorems, but the proof is still not quite there.11h ago11h ago
Yang LuQuest for Proof Automation: What can ChatGPT4 do? Checking Mersenne primes (part 3/N)Highlight:21h ago21h ago
Yang LuQuest for Proof Automation: What can ChatGPT4 do? basic proof exploration (part 2/N)Highlight:22h ago22h ago
Yang LuQuest for Proof Automation: What can ChatGPT4 do? simple multiplication (part 1/N)With the advent of GenAI, there is no reason why not to revisit some of the more naive youthhood dreams including math proof automation.1d ago1d ago