Post #4520179

This is unironically the mid-term future of research math. The next generations of models will have taste and the ability to invent new theories. Then math will be fully automated.