The fact that the "Beg Button" exists in so many cities is messed up.
For the privilege of crossing the street, pedestrians are required to press a button, wait, and then scurry across while cars + trucks give them a few seconds of grace.
Here's one I'd press in a second...
🧵
(1) Igreja da Lapa, Porto, PT. (2) Carnegie Museum of Art, Pittsburgh, PA, USA. (3) Manchester, Pittsburgh, PA, USA. (4) Peace Pagoda, Nihonmachi, San Francisco, CA, USA.
There have been tremendous advances at the nexus of AI + mathematics. But it’s worth reflecting what our goals are for automated mathematicians. In our brief position piece for the #MathAI workshop @NeurIPSConf, we argue now is a great time to look to CogSci for reflection! 1/