Some mathematicians derive their entire ego from how much better they are at proof grinding than other people, and those mathematicians are getting very sad about getting their asses handed to them by this new generation of models.
Serious mathematicians seem ecstatic that they can explore new territory deeply with these tools.
1 Reply
{no channel}
- hash
- bf49c913426e94ddef6b77894aca7507137d9865
- timestamp
- 2026-09-05T05:57:14.000Z
- fid
- 8531
- parent_fid
- 280
- parent_hash
- 6b4cebac38ed55a98a1c2684fdf874f736aba15d