HNHacker News
TopNewBestAskShowJobs

mathfan

224 karma · joined October 11, 2017

submissionscomments
mathfan··on We resolve a $1000 Erdős problem, with a Lean proof vibe coded using ChatGPT
Yep, I'm excited to see how AI can transform the math research workflow!
mathfan··on A crowdsourced project to link up erdosproblems.com to the OEIS
Wow, I was already impressed with the new comment feature on erdosproblems.com and how it's already been used to solve some of the problems. Excited to see if AI can make a meaningful contribution here.
mathfan··on Math Exposition on YouTube
https://en.wikipedia.org/wiki/Arrow%27s_impossibility_theore...
mathfan··on You want ugly voting districts [video]
So you're cool having a party with 49% of the vote but none of the seats? Is that representative democracy?
mathfan··on Utility Ghost: Gamified redistricting with partisan symmetry
The Supreme Court has already stated that partisan gerrymandering is unconstitutional, we just don't have a mechanism to systematically detect it after the fact. That's why it's so hard to fight in the courts. If possible, I think it's a good idea to prevent unconstitutional gerrymandering, even if it doesn't solve all of our problems.
mathfan··on Utility Ghost: Gamified redistricting with partisan symmetry
What is more likely, a change to federal law, or the existence of one of 50 states that changes state law?
mathfan··on Utility Ghost: Gamified redistricting with partisan symmetry
A switch to PR would require a change to federal law. Meanwhile, in the absence of PR, any state is free to adopt its own redistricting policy. The latter approach seems much more feasible.