mathfan
Harmonic's automated theorem prover Aristotle solves open Erdős problem in Lean
Asymptotically optimal approximate Hadamard matrices
Resolving a $1000 Erdős problem, and vibe coding a Lean proof using ChatGPT
Re:We resolve a $1000 Erdős problem, with a Lean proof vibe coded usin...
on Wednesday October 22, 2025 @08:26PM (#45676843)
Yep, I'm excited to see how AI can transform the math research workflow!
Sebastien Bubeck: Another twist in the Erdős problems story
Resolving a $1000 Erdős problem, and vibe coding a Lean proof using ChatGPT
We resolve a $1000 Erdős problem, with a Lean proof vibe coded using ChatGPT
Re:A crowdsourced project to link up erdosproblems.com to the OEIS
on Monday September 01, 2025 @09:24AM (#45092516)
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.
The clustering behavior of sliding windows
Re:Math Exposition on YouTube
on Saturday August 05, 2023 @03:34AM (#37009850)
Math Exposition on YouTube
Re:You want ugly voting districts [video]
on Friday August 04, 2023 @07:26PM (#37007185)
So you're cool having a party with 49% of the vote but none of the seats? Is that representative democracy?
You want ugly voting districts [video]
You Want Voting Districts to Be Only 4% Pretty [video]
You Want Voting Districts to Be Only 4% Pretty [video]
Why You Want Voting Districts to Be Only 4% Pretty [video]
Re:Utility Ghost: Gamified redistricting with partisan symmetry
on Friday December 21, 2018 @03:00PM (#18736099)
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.
Re:Utility Ghost: Gamified redistricting with partisan symmetry
on Friday December 21, 2018 @10:43AM (#18733967)
What is more likely, a change to federal law, or the existence of one of 50 states that changes state law?
Re:Utility Ghost: Gamified redistricting with partisan symmetry
on Friday December 21, 2018 @10:08AM (#18733706)
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.