Александра Синицына (Ночной линейный редактор)
Англия — Премьер-лига|30-й тур
，这一点在爱思助手中也有详细论述
This work builds on impressive projects and ideas. Gaëtan Gilbert made rocq-lean-import, and Benjamin Pierce wrote the Software Foundations textbooks to educate generations of PL students. Kaiyu Yang and Quinn Dougherty generously provided hard problems from VerinaBench and FVAPPS, respectively, for our time horizon baseline. Thomas Kwa helped us understand the METR result methodology.
Over the last decade, Eichhorn has made significant strides toward showing that the quantum laws likely do stop changing around the Planck scale, just as Weinberg suspected. She has also connected Planck-scale physics with physics at scales that are easier to study — a famously challenging task for anyone working with a theory of gravity at the smallest levels. Quanta recently spoke with Eichhorn about these efforts. The interview has been condensed and edited for clarity.