Sign in

Vince Vatter

@vatter.bsky.social
1.2K followers 710 following 115 posts

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

PostsRepliesMedia
Reposted by Vince Vatter
Karen Campe @karencampe.bsky.social · 08/09/2026
The 254th Carnival of Mathematics is posted! Check out all the cool math we collated from the internet in August. @CarnivalOfMath @aperiodical.bsky.social #CarnivalOfMath #iTeachMath #MathSky #MathsToday karendcampe.wordpress.com/2026/09/07/c...
karendcampe.wordpress.com
Carnival Of Mathematics
Welcome to the 254th installment of the Carnival of Mathematics, a roundup of interesting mathematics content from August 2026. The Carnival is a monthly post hosted by a different blog each month.…
2135
Vince Vatter @vatter.bsky.social · 06/09/2026
I hope the IPO gives OpenAI the resources it needs to let me pin an 11th chat.
ChatGPT interface: "You can only pin up to 10 items. Unpin an item to pin something new."
020
Vince Vatter @vatter.bsky.social · 05/09/2026
Thurston (1982 Fields medalist), apropos of nothing.
I fairly rapidly proved some dramatic theorems. I proved a classification theorem for foliations, giving a necessary and sufficient condition for a manifold to admit a foliation. I proved a number of other significant theorems. I wrote respectable papers and published at least the most important theorems. It was hard to find the time to write to keep up with what I could prove, and I built up a backlog.

An interesting phenomenon occurred. Within a couple of years, a dramatic evacuation of the field started to take place. I heard from a number of mathematicians that they were giving or receiving advice not to go into foliations—they were saying that Thurston was cleaning it out. People told me (not as a complaint, but as a compliment) that I was killing the field. Graduate students stopped studying foliations, and fairly soon, I turned to other interests as well.
0141
Vince Vatter @vatter.bsky.social · 27/08/2026
About the game I made with @rbrignall.bsky.social gizmodo.com/this-brain-t...
gizmodo.com
This Brain Teaser Lied to Players for 3 Years, and Math Finally Caught It
“In our defense, it wasn’t on purpose.”
040
Vince Vatter @vatter.bsky.social · 27/08/2026
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?
030
Vince Vatter @vatter.bsky.social · 27/08/2026
www.mainstreetdailynews.com/news/krishna...
mainstreetdailynews.com
Krishna Lunch considers lawsuit after UF ends decades-long partnership
Banishment follows February box truck incident.
000
Vince Vatter @vatter.bsky.social · 25/08/2026
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.
First page of "Digit.party: Three years of lying about high scores" by Robert Brignall and Vincent Vatter, published in Math Horizons.
3124
Vince Vatter @vatter.bsky.social · 17/05/2026
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.
140
Vince Vatter @vatter.bsky.social · 04/04/2026
For the three-year anniversary, digit.party now shows you how your score on yesterday's board compares to everyone else! (You can also go into history and see this back to day 1001.)
digit.party
digit.party
match numbers, score points. daily challenge + random boards
041
Vince Vatter @vatter.bsky.social · 03/02/2026
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?
110
Reposted by Vince Vatter
Epoch AI @epochai.bsky.social · 23/01/2026
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.
161
Vince Vatter @vatter.bsky.social · 07/01/2026
🟥🟥🟧🟧⬜ 🟥🟦🟦🟧⬜ ⬜🟦🟦🟦⬜ 🟪🟪🟫🟩🟩 🟪🟪🟪🟫🟫 day 1010: 120 points 78% digit.party
010
Vince Vatter @vatter.bsky.social · 29/12/2025
Digit Party! m.twitch.tv/videos/26561...
m.twitch.tv
Playing random web games on my phone - taltech on Twitch
taltech went live on Twitch. Catch up on their Games + Demos VOD now.
020
Reposted by Vince Vatter
Vince Vatter @vatter.bsky.social · 29/12/2025
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
182
Vince Vatter @vatter.bsky.social · 29/12/2025
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
182
Reposted by Vince Vatter
Vince Vatter @vatter.bsky.social · 09/03/2025
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.
042
Vince Vatter @vatter.bsky.social · 16/09/2025
Manifold markets: Will Gary Marcus still say that deep learning models can't reason after they prove the Riemann hypothesis?
050
Vince Vatter @vatter.bsky.social · 14/08/2025
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.
170
Vince Vatter @vatter.bsky.social · 16/06/2025
Published today in the Notices of the AMS. Lol.
Federal Funding for Mathematics Research—What’s Changed in the Last Six Years?

This article was solicited in early 2024 and completed in Fall 2024. It therefore does not reflect the changes that have occurred, and which are still going on, at federal science-funding agencies in 2025. For example, website links given in the article may not be active at the time of publication. - Ed.
030
Vince Vatter @vatter.bsky.social · 15/06/2025
The number of American kings over time: a harrowing saga of job insecurity, with a notable dip after 1776 and a suspicious lack of improvement since.
030
Vince Vatter @vatter.bsky.social · 30/05/2025
meanwhile, wikipedia is in existential crisis over whether √4 deserves its own page
Screenshot of a Wikipedia deletion discussion about whether redirects like “Square root of 4” and “Sqrt4” should exist. Editors argue over consistency, usefulness, and whether Wikipedia should function as a calculator. Some favor keeping the redirects for user convenience, others call them unnecessary or harmful. One comment invokes “Square root of 2209,” another disputes the logic entirely, and someone questions how to handle both positive and negative roots. The tone ranges from procedural to mildly exasperated.
1262
Vince Vatter @vatter.bsky.social · 29/05/2025
interest in the natural numbers is at an all-time low
Google Ngram Viewer line graph showing the frequency of digits 0 through 9 in English books from 1800 to 2019, with usage peaking around 1980 and declining sharply afterward.
5165
Reposted by Vince Vatter
Otti Croze @otticroze.bsky.social · 28/05/2025
Just to say how much I like the digit party game digit.party created by Robert Brignall and @vatter.bsky.social.
digit.party
digit.party
match numbers, score points. daily challenge + random boards
011
Vince Vatter @vatter.bsky.social · 09/05/2025
Of course they would choose a math major
070
Vince Vatter @vatter.bsky.social · 06/05/2025
FOX NEWS: Cardinals assess Pope Francis' legacy before vote. Delegates include $\aleph_0$, $\aleph_1$, $\beth_2$, and others, as the continuum hypothesis looms over the ceremonies.
5233
Vince Vatter @vatter.bsky.social · 28/04/2025
It’s final exam season again, and I like to display a clock while proctoring. But all the web clocks google suggests suck. So I made one (okay, tbh, chatgpt made it under my supervision): digit.party/clock
digit.party
Digit Party Clock
A minimalist analog and digital clock. Perfect for proctoring exams, or just keeping time beautifully.
050
Vince Vatter @vatter.bsky.social · 14/04/2025
AI debt collector exhibiting speciesism
AI: Hello, is this Ms. Zhang San?
User: This is Ms. Zhang San’s robot phone assistant, may I ask what you want to discuss with her?
AI: Sorry for disturbing you, goodbye!
240
Vince Vatter @vatter.bsky.social · 12/04/2025
you're what now chatgpt?
ChatGPT-4o:

"go to OEIS bc i’m tired: [1, 1, 1, 2, 5, 17, 73, …] → OEIS A001339"
3273
Vince Vatter @vatter.bsky.social · 04/04/2025
I mean, it’s still better to have money than not have money right?
020
Vince Vatter @vatter.bsky.social · 04/04/2025
you'll never guess what color my daughter's squares ended up
Instructions for assignment: Color each square blue. Color each rectangle yellow. Color each circle red.
3111
Vince Vatter @vatter.bsky.social · 09/03/2025
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.
042
Vince Vatter @vatter.bsky.social · 07/03/2025
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.
070
Vince Vatter @vatter.bsky.social · 04/03/2025
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.com
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.
130
Reposted by Vince Vatter
ꭓle Ormsby 𓆙 @e-infinity.space · 04/03/2025
Actually it's ok to divide by zero as long as you use the proper facilities. 🧮
3305
Vince Vatter @vatter.bsky.social · 03/03/2025
There's an article in Scientific American today about superpermutations mentioning @robin.boskerenterprises.com, @gregegansf.bsky.social, @njohnston.ca, @jaypantone.com, me, and of course, “Anonymous 4chan Poster.” www.scientificamerican.com/article/the-...
scientificamerican.com
How Anime Fans Stumbled upon a Mathematical Proof
When a fan of a cult anime series wanted to watch its episodes in every possible order, they asked a question that had perplexed combinatorial mathematicians for years
1102
Vince Vatter @vatter.bsky.social · 26/02/2025
Reference list with a citation for The Terminator (1984) by James Cameron, published by Orion Pictures, nestled alongside academic papers on AI and security.
080
Vince Vatter @vatter.bsky.social · 25/02/2025
the first step is admitting you have a problem. the second step is asking random users to fix it for free.
'Please help us improve Google' popup with buttons 'NO THANKS' and 'SHOW QUESTION'.
020
Vince Vatter @vatter.bsky.social · 22/02/2025
how????
Starbucks mobile order screen showing a customized Venti Iced Caffè Americano with 4 shots of espresso, 2/3 decaf, and ice. Questionable caffeine logic at play.
030
Vince Vatter @vatter.bsky.social · 20/02/2025
Fermat thought 2^(2^n))+1 was prime after checking n=0,1,2,3,4. Euler factored the n=5 case, oops. Worse still, the odds are we'll never see another Fermat prime.
$2^{2^n}+1$ isn't prime for $5\le n\le 32$. By the prime number theorem, $m$ is prime with probability ${\approx\nicefrac{1}{\ln m}}$. The probability that another number of this form is prime is about
\[
\sum_{n=33}^\infty \frac{1}{\ln (2^{2^n}+1)}
< \sum_{n=33}^\infty \frac{1}{2^n\ln 2}
= \frac{1}{2^{32}\ln 2}
\approx 0.000000000359.
\]
170
Reposted by Vince Vatter
Patrick Skeels @baslogic.bsky.social · 23/01/2025
Look upon my proofs and despair.
0101
Reposted by Vince Vatter
Tien Chih @tienchihmath.bsky.social · 22/01/2025
So THIS is the best line I've seen in a proof.
16812
Reposted by Vince Vatter
Cadenza 華彩樂 @eldritch.beauty · 22/01/2025
but doctor, I *am* a coward
071
Vince Vatter @vatter.bsky.social · 22/01/2025
Contrapositives are for cowards. Behold.
Theorem. If $n$ is an integer and $n^2$ is even, then $n$ is itself even.

Proof. Contrapositives are for cowards, so assume $n$ is an integer and $n^2$ is even. Then $n^2=2k$ for some integer $k$, and thus $n^2-2k=0$. Behold:
\[ n = n + (n^2-2k) = n(n+1)-2k. \]
Both $n(n+1)$ and $2k$ are even, so $n$ is even.
QED.
613438
Vince Vatter @vatter.bsky.social · 21/01/2025
Contrapositives are for cowards. Instead of saying, "if you do your share of the dishes, we'll have a clean kitchen", they skulk around leaving sticky notes like "if the kitchen's messy, someone didn't do their share." Logically equivalent, but completely lacking in courage.
1193
Vince Vatter @vatter.bsky.social · 16/12/2024
"I decided to roll out my own LLM benchmark: how well can different models render an SVG of a pelican riding a bicycle?" simonwillison.net/2024/Oct/25/...
Gemini 1.5 Flash 001 asked to "Generate an SVG of a pelican riding a bicycle"
030
Reposted by Vince Vatter
JD Long @jdlong.cerebralmastication.com · 14/12/2024
I interviewed an early career candidate whose resume showed fine tuning Open AI GPT models. I asked her to tell me about it and she said, "honestly it was maddening. It constantly felt like we were on the edge of getting something useful then it would be a mess in a new way." I knew she was legit.
512010
Vince Vatter @vatter.bsky.social · 13/12/2024
unfortunately the price was determined using new math so I didn’t buy it
The Giant Golden Book of Mathematics including NEW MATH
3150
Vince Vatter @vatter.bsky.social · 14/11/2024
why the romans never invented algebra
a roman numeral multiplication table up to XII x XII
0100
Reposted by Vince Vatter
Tien Chih @tienchihmath.bsky.social · 20/10/2024
New to #MathSky or returning? This may help you get started! go.bsky.app/66Us7WW
227133