(1) We have withdrawn the DMCA notice for sympy; Sent a note to senior leadership in Github to act on this quickly.
(2) We have stopped the whole DMCA process for now and working on internal guidelines of what constitutes a real violation so that these kind of incidents don't happen. We are going to do this in-house
(3) We are going to donate $25k to the sympy project.
As a company we take a lot of pride in helping developers and it sucks to see this. I'm extremely sorry for what happened here.