Twitxy Saved

Joshua Batson

@thebasepoint

trying to understand evolved systems (🖥 and 🧬)
interpretability research @anthropicai
formerly @czbiohub, @mit math
Oakland, CA Joined February 2012
679 Following 6.4K Followers 2.3K Posts

Latest posts 5

Joshua Batson @thebasepoint
Amplifying David's point: in the era where experiments are cheap, and so new results are flying around left and right, it is extremely valuable to bring clarity to the literature.

It's also really satisfying to understand the root cause of apparently contradictory results!
David Verified account @DavidDAfrica 6d
Quick new post: I think it'd be good if people (particularly newcomers) spent more time writing up existing takes from papers, and resolving contradictory evidence in their results and experiments. I think this is on average a better use of time and builds more understanding than firing off an experiment. And if you slop out both, this is cheaper to fail on. I then give a loose example on trying to resolve if reward hacking in RL generalises to emergent misalignment.

lesswrong.com/posts/tn4WSyrq…
View quoted post on X
1 replies 1 reposts 37 likes 1.6K views View on X
Joshua Batson @thebasepoint
Watched a great Ravi Vakil lecture on the connection between topology and algebraic geometry.
youtube.com/watch?v=bkXoXY…
The audio quality was terrible, the video was grainy, yet it was more compelling and interesting than any amount of talking to Claude about it (I tried after!)
www.youtube.com "Topology from Algebraic Geometry" - Ravi Vakil (Stanford), UConn... This is a recording of the UConn Distinguished Lecture in Mathemati...
1 replies 3 reposts 22 likes 2.1K views View on X
Joshua Batson @thebasepoint
The mathematician’s “obvious” is always relative. The student asks why an equation holds, the prof thinks for ten minutes and says, “well it’s obvious”.

Turns out many open problems were obvious (relative to AI)!
Abhishek Saha Verified account @ObhishekSaha Oct 18
I find it fascinating that the proof of no Siegel zeroes is so short. OpenAI's original proof was only 8 pages (a detailed exposition by Banks was 19 pages); then Kerr gave a 6 page proof (below) and Green has followed with a 5 page proof.

Much has been made of OpenAI's proof of the Quasi-Riemann Hypothesis (which is an absolutely stunning achievement), but at least that one is a somewhat long paper.

"No Siegel zeroes" does not have as much of a shock-breakthrough factor as QRH perhaps, but it is still a vitally important question classical analytic number theorists (which I am not!) had been stuck on for years. I am not sure if anyone was actively even working on it -- the consensus seemed to be that it was an incredibly hard problem. And all it needed was this!

Makes me wonder what other analytic number theory conjectures would be amenable to this kind of short, clever proof. And why did mathematicians miss it for decades?
View quoted post on X