Lamentation on AI in Mathematical Research

1 points | by speckx 6 hours ago