one part of these recs (which are on the whole great) which fell completely flat for me was urging training graduate students in formalization. who is going to do such training?? my understanding is that prior to LLMs formalization in my subfield (geom/top) was stuck in many weeds
![Conic Sections Rebellion
Article Talk
The Conic Sections Rebellion, also known as the Conic Section Rebellion, refers primarily to an incident which occurred at Yale University in 1830,[1] as a result of changes in the methods of mathematics education.[2] When a policy change dictated that students were required to draw reference diagrams for exams rather than be allowed to refer to diagrams in their textbooks, students staged a rebellion in which they refused to take the exams at all. Because of this, 43 of the 96 students were expelled.](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:s322jswidjsalylruqsg4mze/bafkreifrlnecqhpwqacmzgxopwvi2wmqvbfmzo3i6qf7dyzi3tja57ujv4)
