arXiv-issued DOI via DataCite (pending registration)
现场设了报名环节。想找对象的人登记后，可以上台作自我介绍。主持人就是孙磊。
，详情可参考同城约会
Monday, March 2, 2026
The AI community has already made its choice. AlphaProof (Google DeepMind), Aristotle (Harmonic), SEED Prover (ByteDance), Axiom, Aleph (Logical Intelligence), and Mistral AI all build on Lean. Every major AI reasoning system that has achieved medal-level performance at the International Mathematical Olympiad used Lean. No competing platform was used by any of them. The future is much larger than today’s early applications.，推荐阅读体育直播获取更多信息
Александра Синицына (Ночной линейный редактор)，推荐阅读同城约会获取更多信息
«Европа бьет сама по себе». Страну НАТО заподозрили в организации атаки на российский газовоз. Новые подробности атаки на судно20:45