FirstFT: the day's biggest stories
Title:130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone?
。关于这个话题，PDF资料提供了深入分析
Фото: Sputnik / Vyacheslav Prokofyev / Pool / Reuters，这一点在PDF资料中也有详细论述
nondual_gabagool
Варвара Кошечкина (редактор отдела оперативной информации)