Lean是微软研究院在2013年推出的一款数学智能辅助证明软件。让数学家可以把数学公式转换成代码，再输入到软件中，最后由程序来验证定理是否正确。
“我知道，但这正是我疑惑的。”
“也许吧！”
看到这里，韩亚松没有继续往下翻，而是直接从位置上跳了起来。
用官方的说法是这是业内第一款超光影三摄手机。
汉娜看了刘尘风一眼，满脑子的问号。
新品发布会都还没开呢？
没听说有为跟PoPo有什么深仇大恨啊？
“咦，乔哥，你看有为的新手机突然开始销售了。”
点开订票软件，还好下午2点25分有一趟临海到深城的航班，余票只剩三张。