Vince Vatter

@vatter.bsky.social

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

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?

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.

Bild

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

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.

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...

Avoidable and Unavoidable Randomness in GPT-4o | Towards Data Science

Exploring the sources of randomness in GPT-4o from the known and controllable to the opaque and uncontrollable.

towardsdatascience.com