第121章 真大型突发事件（6000月（2 / 2）
他做了什么？
len是微软研究院在2013年推出的一款数学智能辅助证明软件。让数学家可以把数学公式转换成代码，再输入到软件中，最后由程序来验证定理是否正确。
“我知道，但这正是我疑惑的。”
“也许吧！”
看到这里，韩亚松没有继续往下翻，而是直接从位置上跳了起来。
用官方的说法是这是业内第一款超光影三摄手机。
汉娜看了刘尘风一眼，满脑子的问号。
新品发布会都还没开呢？
↑返回顶部↑他做了什么？
len是微软研究院在2013年推出的一款数学智能辅助证明软件。让数学家可以把数学公式转换成代码，再输入到软件中，最后由程序来验证定理是否正确。
“我知道，但这正是我疑惑的。”
“也许吧！”
看到这里，韩亚松没有继续往下翻，而是直接从位置上跳了起来。
用官方的说法是这是业内第一款超光影三摄手机。
汉娜看了刘尘风一眼，满脑子的问号。
新品发布会都还没开呢？
↑返回顶部↑