| 1. | | Harmonic's automated theorem prover Aristotle solves open Erdős problem in Lean (erdosproblems.com) |
| 16 points by mathfan 71 days ago | past | 2 comments |
|
| 2. | | Asymptotically optimal approximate Hadamard matrices (arxiv.org) |
| 19 points by mathfan 82 days ago | past | 2 comments |
|
| 3. | | Resolving a $1000 Erdős problem, and vibe coding a Lean proof using ChatGPT (arxiv.org) |
| 5 points by mathfan 3 months ago | past |
|
| 4. | | Sebastien Bubeck: Another twist in the Erdős problems story (twitter.com/sebastienbubeck) |
| 5 points by mathfan 3 months ago | past | 1 comment |
|
| 5. | | Resolving a $1000 Erdős problem, and vibe coding a Lean proof using ChatGPT (mathstodon.xyz) |
| 5 points by mathfan 3 months ago | past | 1 comment |
|
| 6. | | We resolve a $1000 Erdős problem, with a Lean proof vibe coded using ChatGPT (borisalexeev.com) |
| 17 points by mathfan 3 months ago | past | 4 comments |
|
| 7. | | The clustering behavior of sliding windows (arxiv.org) |
| 97 points by mathfan 10 months ago | past | 20 comments |
|
| 8. | | Math Exposition on YouTube (dustingmixon.wordpress.com) |
| 140 points by mathfan on Aug 4, 2023 | past | 33 comments |
|
| 9. | | You want ugly voting districts [video] (youtube.com) |
| 4 points by mathfan on Aug 4, 2023 | past | 3 comments |
|
| 10. | | You Want Voting Districts to Be Only 4% Pretty [video] (youtube.com) |
| 4 points by mathfan on Aug 4, 2023 | past |
|
| 11. | | You Want Voting Districts to Be Only 4% Pretty [video] (youtube.com) |
| 2 points by mathfan on Aug 3, 2023 | past |
|
| 12. | | Why You Want Voting Districts to Be Only 4% Pretty [video] (youtube.com) |
| 4 points by mathfan on Aug 2, 2023 | past |
|
| 13. | | Utility Ghost: Gamified redistricting with partisan symmetry (arxiv.org) |
| 80 points by mathfan on Dec 21, 2018 | past | 25 comments |
|
| 14. | | Utility Ghost: Gamified redistricting with partisan symmetry (arxiv.org) |
| 3 points by mathfan on Dec 19, 2018 | past |
|
| 15. | | Redistricting as an NP-Hard Problem (medium.com/nyudatascience) |
| 1 point by mathfan on Oct 16, 2018 | past |
|
| 16. | | Fair redistricting is NP-hard (arxiv.org) |
| 2 points by mathfan on Aug 28, 2018 | past |
|
| 17. | | Fair redistricting is hard (arxiv.org) |
| 1 point by mathfan on Aug 28, 2018 | past |
|
| 18. | | Gerrymandering with geographically compact districts (dustingmixon.wordpress.com) |
| 125 points by mathfan on Dec 18, 2017 | past | 113 comments |
|
| 19. | | Partisan gerrymandering with geographically compact districts (dustingmixon.wordpress.com) |
| 1 point by mathfan on Dec 15, 2017 | past |
|
| 20. | | Stop criticizing bizarrely shaped voting districts (theconversation.com) |
| 2 points by mathfan on Dec 1, 2017 | past |
|
| 21. | | An impossibility theorem for gerrymandering (dustingmixon.wordpress.com) |
| 51 points by mathfan on Oct 12, 2017 | past | 74 comments |
|
| 22. | | Next year, voting districts may need to look gerrymandered to be constitutional (dustingmixon.wordpress.com) |
| 2 points by mathfan on Oct 11, 2017 | past |
|
