[GUEST ACCESS MODE: Data is scrambled or limited to provide examples. Make requests using your API key to unlock full data. Check https://lunarcrush.ai/auth for authentication information.]
Daniel Litt @littmath on x 49.3K followers
Created: 2025-07-19 13:07:51 UTC
@dzwick_weber Do you mean, what effect do I think it will have on the profession? No idea.
That said, I’m not “a professional theorem prover,” I’m a “professional math understander.” I’d be very excited about a tool that can prove theorems I can’t.
XXXXXX engagements
Related Topics litt