Vince Vatter

Vince Vatter

@vatter.bsky.social

Mathematician at the University of Florida. Here for the hot takes. Also @VinceVatter@mathstodon.xyz https://vincevatter.com

1.1K followers710 following115 posts

Vince Vatter reposted

I dont like AI math slop but at least I know what to do with it. But what are we going to do with correct AI proofs made by amateurs who post them publicly but lack the ability/desire to make them publishable? Will anyone else have an incentive to make the proof understandable?

Published today! Our article in Math Horizons about how Robert and I lied to players for three years in our game Digit Party, and how we used integer linear programming to stop.

Having fun arguing about the new arXiv policy on Twitter today. A lot of academics seem remarkably comfortable with opaque moderation systems, discretionary enforcement, and no meaningful appeals process.

Hot take: The trapezoid area formula isn’t math, it’s an algebra trick. Teach kids to cut trapezoids up instead. When are they ever going to use that formula outside math class anyway?

Vince Vatter reposted

Replying to @epochai.bsky.social

A pair of problems by Jay Pantone, who works in analytic combinatorics, were solved earlier: one by GPT-5 and one by GPT-5.1. GPT-5.2 Pro solved these as well. The solutions were both valid, but Jay noted that both used numerical shortcuts that he didn’t intend.

Vince Vatter reposted

Digit Party just went over 1000 days! Robert Brignall and I celebrated by redesigning the whole thing. Place digits, match neighbors. 🟧🟧⬜⬜🟥 ⬜🟧🟧🟥🟪 ⬜⬜🟥🟪🟫 ⬛🟥🟫🟫🟫 ⬛⬛⬛🟫🟫 day 1001: 146 points 66% digit.party

Digit Party just went over 1000 days! Robert Brignall and I celebrated by redesigning the whole thing. Place digits, match neighbors. 🟧🟧⬜⬜🟥 ⬜🟧🟧🟥🟪 ⬜⬜🟥🟪🟫 ⬛🟥🟫🟫🟫 ⬛⬛⬛🟫🟫 day 1001: 146 points 66% digit.party

Vince Vatter reposted

Everyone hates springing forward but loves falling back. Proposal: Abolish leap days, and redistribute those hours in the form of 6 annual "fall back" holidays. More sleep, less leap. A clear pareto improvement to our calendar.

I'm excited to share: we built a free AI coach for intro-level proof writing. It critiques drafts, points out gaps, and helps you or your students iterate without giving away the answer. Also for lapsed mathematicians to see if they've still got it. Demo below, link in reply.

View full thread

Teaching intro to proofs this semester or next? We have a couple of spots left for college/university faculty who would be interested in participating in a field test. Details on the site, or reply or DM.

I'm excited to share: we built a free AI coach for intro-level proof writing. It critiques drafts, points out gaps, and helps you or your students iterate without giving away the answer. Also for lapsed mathematicians to see if they've still got it. Demo below, link in reply.

Needless to say, A001339 is not the same sequence, does not count preferential arrangements, and neither sequence has anything to do with the egf 1⁄(2−exp(x)). All of this was completely made up.

Everyone hates springing forward but loves falling back. Proposal: Abolish leap days, and redistribute those hours in the form of 6 annual "fall back" holidays. More sleep, less leap. A clear pareto improvement to our calendar.

Logical proof that "months" are fake. Most people born in April are Aries. All Aries are born in March or April. Most people born in March or April were born in March. Therefore, most people born in April were born in March.

I asked GPT-4o to flip a coin 10,000 times. Same prompt, same parameters, but the *odds of getting Heads* took on 42 different probabilities (none below 85% btw). Obv don't use gpt-4o to flip your coins, but what the hell is going on? Here are some thoughts. towardsdatascience.com/avoidable-an...

towardsdatascience.comAvoidable and Unavoidable Randomness in GPT-4o | Towards Data ScienceExploring the sources of randomness in GPT-4o from the known and controllable to the opaque and uncontrollable.