>>9542512Autists came together and figured out types can be treated as groupoids, which helps out in proof solving. It's interesting, more of a foundational recent development, not really pivotal for your core classes, but only plebs ignore developments that arent in their fields without at least appreciating the results.
>>9542649I dont know where you're at schoolwise, but unless you were winning competitions and fratenizing with majors early as a highschool student, the average /sci/fag coming from nowheresville high school and only just learned he wanted to do math should be doing "brainlet" as a freshman/sophomore and the undergrad section as a junior/senior. IMO, the grad section isnt as comprehensive as I'd like, but I'm a bit of a stamp collector. Realize if you can even get through 2-3 of any of the grad books you should probably stick with math as your profession, regardless how overwhelmed you feel