David Savitt

4.1K posts

David Savitt banner
David Savitt

David Savitt

@dsavitt

Math department chair at Johns Hopkins University and a director of Canada/USA Mathcamp.

Baltimore, MD Katılım Eylül 2008
277 Takip Edilen831 Takipçiler
David Savitt retweetledi
The Abel Prize
The Abel Prize@abel_prize·
We congratulate Gerd Faltings as the 2026 Abel Prize laureate! 🎉 He recives the Abel Prize "for introducing powerful tools in arithmetic geometry and resolving long-standing diophantine conjectures of Mordell and Lang".
The Abel Prize tweet media
English
9
254
765
75.6K
David Savitt
David Savitt@dsavitt·
Not where I expected to end up when I left the house to head to Florence on Friday, but I'll take it.
David Savitt tweet mediaDavid Savitt tweet media
English
1
0
6
161
David Savitt
David Savitt@dsavitt·
@KenOno691 @leanprover Do I understand right that the full prover (ie uploading a problem statement and letting it have at it) is not part of this release, or am I misreading?
English
2
0
0
209
David Savitt
David Savitt@dsavitt·
@silver83p @emilyriehl Your next puzzle (without looking it up) is wtf Marne-la-Vallée Chessy is and why the train stops there.
English
1
0
1
114
David Savitt
David Savitt@dsavitt·
Puzzle: I am on a train with 16 passenger cars. The rear car (the first car one passes when boarding) is numbered 18. In what position is car 1?
English
3
0
1
709
David Savitt retweetledi
CanucksArmy
CanucksArmy@CanucksArmy·
Thanks for the memories, Jim 💙 💚 (🎥: Canucks094 | YouTube)
English
15
124
687
28.8K
David Savitt retweetledi
Rick Dhaliwal
Rick Dhaliwal@DhaliwalSports·
What a sad day, Canucks legend Jim Robson has passed away. We only had a Canucks game of the week on TV in the 80’s, it was Jim and my radio. Nobody described a game better. Simply the best there ever was.
Rick Dhaliwal tweet media
English
185
339
2.5K
155.7K
David Savitt
David Savitt@dsavitt·
@GregHBurnham A demonstration that one can now use AI to prove results that one might actually care about. (Perhaps, and I'm guessing here, a result that the author didn't relish trying to work out the details of himself?)
English
0
1
6
559
Greg Burnham
Greg Burnham@GregHBurnham·
@dsavitt Just on the result's general relevance to other math, or the kind of result it is, or how it was obtained?
English
1
0
3
312
David Savitt retweetledi
David Savitt
David Savitt@dsavitt·
@GregHBurnham There's a website with a catalog of around 1000 Erdos problems, not all of which are going to be deep. Some of them may be IMO problems not recognized yet as such. I've been saying people should just hit them all with an LLM and see what happens.
English
1
1
17
4.1K
Greg Burnham
Greg Burnham@GregHBurnham·
@dsavitt Guy who’s only ever seen Shelley Duvall in The Shining, seeing someone who looks like her: I’m getting a lot of The Shining vibes here…
English
1
0
1
65
Greg Burnham
Greg Burnham@GregHBurnham·
Have encountered someone who is a dead ringer for Shelley Duvall in The Shining but somehow that’s a weird one to mention
English
1
0
3
527
David Savitt
David Savitt@dsavitt·
@HarmonicMath Any idea what's up with queue lengths recently? Was very long on Saturday, normal yesterday, then long again this morning.
English
0
0
0
258
David Savitt
David Savitt@dsavitt·
@lpachter It's not just sad, it's serious academic misconduct and should be treated as such. All these people should be referred to their university's disciplinary boards.
English
0
0
4
210
Lior Pachter
Lior Pachter@lpachter·
This demonstrates that authors are not reading their own papers before submission. After all, reference errors are easy to catch. Thus it suggests tons of errors also in the math, methods, results, ... Sad to see human slop being exacerbated by AI slop.
Alex Cui@alexcdot

Okay so, we just found that over 50 papers published at @Neurips 2025 have AI hallucinations I don't think people realize how bad the slop is right now It's not just that researchers from @GoogleDeepMind, @Meta, @MIT, @Cambridge_Uni are using AI - they allowed LLMs to generate hallucinations in their papers and didn't notice at all. It's insane that these made it through peer review👇

English
28
70
527
73.4K

Keşfet

@KenOno691 @leanprover @mattyglesias @HugoChiassonn @EliseSpenner @silver83p @emilyriehl @GregHBurnham