mathfan

4 ms·

1.
Harmonic's automated theorem prover Aristotle solves open Erdős problem in Lean(erdosproblems.com)
16 points by mathfan 10mo ago|2 comments
2.
Asymptotically optimal approximate Hadamard matrices(arxiv.org)
19 points by mathfan 11mo ago|2 comments
3.
Resolving a $1000 Erdős problem, and vibe coding a Lean proof using ChatGPT(arxiv.org)
5 points by mathfan 1y ago|0 comments
4.
by mathfan 1y ago
Yep, I'm excited to see how AI can transform the math research workflow!
5.
Sebastien Bubeck: Another twist in the Erdős problems story(twitter.com)
5 points by mathfan 1y ago|1 comments
6.
Resolving a $1000 Erdős problem, and vibe coding a Lean proof using ChatGPT(mathstodon.xyz)
5 points by mathfan 1y ago|1 comments
7.
We resolve a $1000 Erdős problem, with a Lean proof vibe coded using ChatGPT(borisalexeev.com)
17 points by mathfan 1y ago|4 comments
8.
by mathfan 1y ago
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.
9.
The clustering behavior of sliding windows(arxiv.org)
97 points by mathfan 2y ago|20 comments
10.
by mathfan 3y ago
https://en.wikipedia.org/wiki/Arrow%27s_impossibility_theore...
11.
Math Exposition on YouTube(dustingmixon.wordpress.com)
140 points by mathfan 3y ago|33 comments
12.
by mathfan 3y ago
So you're cool having a party with 49% of the vote but none of the seats? Is that representative democracy?
13.
You want ugly voting districts [video](youtube.com)
4 points by mathfan 3y ago|3 comments
14.
You Want Voting Districts to Be Only 4% Pretty [video](youtube.com)
4 points by mathfan 3y ago|0 comments
15.
You Want Voting Districts to Be Only 4% Pretty [video](youtube.com)
2 points by mathfan 3y ago|0 comments
16.
Why You Want Voting Districts to Be Only 4% Pretty [video](youtube.com)
4 points by mathfan 3y ago|0 comments
17.
by mathfan 8y ago
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
18.
by mathfan 8y ago
What is more likely, a change to federal law, or the existence of one of 50 states that changes state law?
19.
by mathfan 8y ago
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.
20.
Utility Ghost: Gamified redistricting with partisan symmetry(arxiv.org)
80 points by mathfan 8y ago|25 comments
21.
Utility Ghost: Gamified redistricting with partisan symmetry(arxiv.org)
3 points by mathfan 8y ago|0 comments
22.
Redistricting as an NP-Hard Problem(medium.com)
1 points by mathfan 8y ago|0 comments
23.
Fair redistricting is NP-hard(arxiv.org)
2 points by mathfan 8y ago|0 comments
24.
Fair redistricting is hard(arxiv.org)
1 points by mathfan 8y ago|0 comments
25.
Gerrymandering with geographically compact districts(dustingmixon.wordpress.com)
125 points by mathfan 9y ago|113 comments
26.
Partisan gerrymandering with geographically compact districts(dustingmixon.wordpress.com)
1 points by mathfan 9y ago|0 comments
27.
Stop criticizing bizarrely shaped voting districts(theconversation.com)
2 points by mathfan 9y ago|0 comments
28.
An impossibility theorem for gerrymandering(dustingmixon.wordpress.com)
51 points by mathfan 9y ago|74 comments
29.
Next year, voting districts may need to look gerrymandered to be constitutional(dustingmixon.wordpress.com)
2 points by mathfan 9y ago|0 comments