Dylan Zwick

I like to think I'm in the top half of math Twitter reply guys.

[Dylan Zwick @dzwick_weber]

@tunguz Yeah this isn't the first time this guy has claimed something that breaks down upon examination. Skepticism is warranted.

[Dylan Zwick @dzwick_weber]

@octonion Careful!
https://t.co/ohWKOdmrIQ

[Dylan Zwick @dzwick_weber]

@dsavitt @octonion Turns out proving false ones is nigh impossible.

[Dylan Zwick @dzwick_weber]

@jdlichtman Found it.
https://t.co/UOlR6AYkUD

[Dylan Zwick @dzwick_weber]

@littmath In his lecture notes on algebraic geometry, James Milne said the JC is "... probably harder than it is interesting". Turns out, that it wasn't so "hard" might be one of the most interesting thing about it.

https://t.co/jSfPvHiqpz

[Dylan Zwick @dzwick_weber]

@jdlichtman I remember it being mentioned, I think in a footnote, in one of Milne's online course notes. IIRC he said the problem was probably harder than it is interesting.

https://t.co/jSfPvHiqpz

[Dylan Zwick @dzwick_weber]

@growing_daniel I think you'll find the real money is in crypto that's exactly the same as fiat currency, but somehow legal for bribes.

[Dylan Zwick @dzwick_weber]

@npparikh @ShriramKMurthi Almost certainly not true - but it should be!

[Dylan Zwick @dzwick_weber]

@npparikh @ShriramKMurthi There's a story, almost certainly apocryphal, of Max Plank's chauffer hearing his talk so many times that, as a prank, they switched roles. At the end of the talk somebody asked a question, and the speaker said "That's so basic, even my chauffeur knows the answer."

[Dylan Zwick @dzwick_weber]

@ElliotGlazer According to the Wikipedia page on the conjecture from two days ago "Van den Essen provides evidence that the conjecture may be false for large numbers of variables."

https://t.co/SVi5o3oCgt

[Dylan Zwick @dzwick_weber]

@littmath In his lecture notes on algebraic geometry, James Milne said the JC is "... probably harder than it is interesting". Turns out, that it wasn't so "hard" might be one of the most interesting thing about it.

https://t.co/jSfPvHiqpz

[Dylan Zwick @dzwick_weber]

@devahaz He's even more impressive. Harvard valedictorian, Morgan prize, solved a Hilbert problem (!) as a side project a few years back. Genuine genius.

[Dylan Zwick @dzwick_weber]

@thomasahle @tunguz https://t.co/JT5mAMxoBB

[Aaron Lou @aaron_lou]

Congrats to Levent for discovering this!

OOC I had an internal version of Codex attempt a proof too (without web search), and it discovered (essentially) the same counterexample! It wrote up a nice summary of the strategy here: https://t.co/fvUGNcPozg

[Dylan Zwick @dzwick_weber]

@garrytan This guy also solved a Hilbert problem in his "spare time" without using an LLM, so he's a bit of a special case.

[Dylan Zwick @dzwick_weber]

@tunguz I'm also not sure to what extent Levant was involved. He's definitely not just some guy prompting "Solve the Jacobian Conjecture. Make no mistakes."

[Dylan Zwick @dzwick_weber]

@avi_eisen I mean, a counterexample to RH would be a single number.

I wouldn't spend too long looking for one, though.

[Dylan Zwick @dzwick_weber]

@tunguz Yes.

[Dylan Zwick @dzwick_weber]

@francoisfleuret Right?!? I've taught this a dozen times, and this is the first time I've seen it. Embarrassed it's never occurred to me.

[Dylan Zwick @dzwick_weber]

@KestrelArts @LukeEpplin "Originalism is about the original intent of the writers as they explained at the time."

I guess you know more about it than Antonin Scalia! He called that the last remaining fiction in American law.

https://t.co/Eo0MRGIbi7

[Dylan Zwick @dzwick_weber]

@astrogrant The smartest guy I met as an undergrad is one of Anthropic's founders.