Lior Pachter
@lpachter
Bren Professor of Computational Biology @caltech. Blog at https://t.co/FFQzhEJpji. #methodsmatter
ID:31936449
http://pachterlab.github.io/ 16-04-2009 16:12:04
24,6K Tweets
41,7K Followers
2,0K Following
Sad to learn today that Sigurður Helgason, who was a math professor Massachusetts Institute of Technology (MIT) when I studied there, passed away on December 3rd. mbl.is/frettir/innlen…
The Gowers-Green-Manners-Tao proof of Marton's polynomial Freiman-Ruzsa conjecture terrytao.wordpress.com/2023/11/13/on-… has now been completely formalised by a team led by Tao. It took three weeks! The project was run on the Lean Zulip; here's Tao's announcement leanprover.zulipchat.com/#narrow/stream… .
Lior Pachter Rita Strack John Novembre Matthew Stephens Yes, we even had a thread on this about 5 years ago (x.com/LindorffLarsen…) including alsohow Berk Hess identified this issue in 2000 in PCA of MD simulations in:
Similarities between principal components of protein dynamics and random diffusion
When I was a grad student I took “Kletiman’s combinatorics seminar” Massachusetts Institute of Technology (MIT) where on day one he’d present a paper that a student would pick at random. Kleitman would try to prove the result after only reading the abstract. If successful he’d say “maybe this was too easy to publish.”
Looks like Cornell University's math department won't be admitting PhD students this year. math.cornell.edu/graduate-admis…