前沿实验室越来越倾向于在正式发布前用特定领域的产出预热，数学因为可验证性成为首选展示窗口。