Hacker News: mathfan

Doing math together in the age of AI

mathfan — Mon, 28 Sep 2026 08:41:46 +0000

Article URL: https://dustingmixon.wordpress.com/2026/09/27/doing-math-together-in-the-age-of-ai/

Comments URL: https://news.ycombinator.com/item?id=49875200

Points: 1

# Comments: 0

Harmonic's automated theorem prover Aristotle solves open Erdős problem in Lean

mathfan — Sat, 29 Nov 2025 23:59:22 +0000

Article URL: https://www.erdosproblems.com/forum/thread/124#post-1892

Comments URL: https://news.ycombinator.com/item?id=46092051

Points: 16

# Comments: 2

Asymptotically optimal approximate Hadamard matrices

mathfan — Wed, 19 Nov 2025 08:06:15 +0000

Article URL: https://arxiv.org/abs/2511.14653

Comments URL: https://news.ycombinator.com/item?id=45976999

Points: 19

# Comments: 2

Resolving a $1000 Erdős problem, and vibe coding a Lean proof using ChatGPT

mathfan — Thu, 23 Oct 2025 10:59:38 +0000

Article URL: https://arxiv.org/abs/2510.19804

Comments URL: https://news.ycombinator.com/item?id=45680442

Points: 5

# Comments: 0

New comment by mathfan in "We resolve a $1000 Erdős problem, with a Lean proof vibe coded using ChatGPT"

mathfan — Thu, 23 Oct 2025 00:26:38 +0000

Yep, I'm excited to see how AI can transform the math research workflow!

Sebastien Bubeck: Another twist in the Erdős problems story

mathfan — Thu, 23 Oct 2025 00:13:51 +0000

Article URL: https://twitter.com/SebastienBubeck/status/1980804267524116569

Comments URL: https://news.ycombinator.com/item?id=45676760

Points: 5

# Comments: 1

Resolving a $1000 Erdős problem, and vibe coding a Lean proof using ChatGPT

mathfan — Wed, 22 Oct 2025 12:04:53 +0000

Article URL: https://mathstodon.xyz/@tao/115416208975810074

Comments URL: https://news.ycombinator.com/item?id=45667795

Points: 5

# Comments: 1

We resolve a $1000 Erdős problem, with a Lean proof vibe coded using ChatGPT

mathfan — Tue, 21 Oct 2025 20:58:09 +0000

Article URL: https://borisalexeev.com/papers/erdos707.html

Comments URL: https://news.ycombinator.com/item?id=45661617

Points: 17

# Comments: 4

New comment by mathfan in "A crowdsourced project to link up erdosproblems.com to the OEIS"

mathfan — Mon, 01 Sep 2025 13:24:07 +0000

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

mathfan — Wed, 19 Mar 2025 13:44:25 +0000

Article URL: https://arxiv.org/abs/2503.14393

Comments URL: https://news.ycombinator.com/item?id=43411898

Points: 97

# Comments: 20

New comment by mathfan in "Math Exposition on YouTube"

mathfan — Sat, 05 Aug 2023 07:34:44 +0000

https://en.wikipedia.org/wiki/Arrow%27s_impossibility_theore...

Math Exposition on YouTube

mathfan — Fri, 04 Aug 2023 23:34:08 +0000

Article URL: https://dustingmixon.wordpress.com/2023/08/04/math-exposition-on-youtube/

Comments URL: https://news.ycombinator.com/item?id=37007236

Points: 140

# Comments: 33

New comment by mathfan in "You want ugly voting districts [video]"

mathfan — Fri, 04 Aug 2023 23:26:10 +0000

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]

mathfan — Fri, 04 Aug 2023 22:39:01 +0000

Article URL: https://www.youtube.com/watch?v=jQGiiPQ_ac0

Comments URL: https://news.ycombinator.com/item?id=37006831

Points: 4

# Comments: 3

You Want Voting Districts to Be Only 4% Pretty [video]

mathfan — Fri, 04 Aug 2023 01:00:54 +0000

Article URL: https://www.youtube.com/watch?v=jQGiiPQ_ac0

Comments URL: https://news.ycombinator.com/item?id=36994131

Points: 4

# Comments: 0

You Want Voting Districts to Be Only 4% Pretty [video]

mathfan — Thu, 03 Aug 2023 11:10:02 +0000

Article URL: https://www.youtube.com/watch?v=jQGiiPQ_ac0

Comments URL: https://news.ycombinator.com/item?id=36984135

Points: 2

# Comments: 0

Why You Want Voting Districts to Be Only 4% Pretty [video]

mathfan — Wed, 02 Aug 2023 20:48:53 +0000

Article URL: https://www.youtube.com/watch?v=jQGiiPQ_ac0

Comments URL: https://news.ycombinator.com/item?id=36977185

Points: 4

# Comments: 0

New comment by mathfan in "Utility Ghost: Gamified redistricting with partisan symmetry"

mathfan — Fri, 21 Dec 2018 20:00:12 +0000

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.

New comment by mathfan in "Utility Ghost: Gamified redistricting with partisan symmetry"

mathfan — Fri, 21 Dec 2018 15:43:32 +0000

What is more likely, a change to federal law, or the existence of one of 50 states that changes state law?

New comment by mathfan in "Utility Ghost: Gamified redistricting with partisan symmetry"

mathfan — Fri, 21 Dec 2018 15:08:34 +0000

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.