会员服务
AI for mathematics | 谷歌Minerva & Autoformalization项目原作解读
AI for mathematics | 谷歌Minerva & Autoformalization项目原作解读
机器之心
0+阅读 · 2022年10月25日
代码重构：面向单元测试
代码重构：面向单元测试
阿里技术
0+阅读 · 2022年7月29日
x²-dy²=-1有多少整数解？近30年无人解开的数学难题有答案了
x²-dy²=-1有多少整数解？近30年无人解开的数学难题有答案了
量子位
0+阅读 · 2022年8月20日
2013年图灵奖得主Leslie Lamport：如何写出数学上完美的算法
2013年图灵奖得主Leslie Lamport：如何写出数学上完美的算法
新智元
0+阅读 · 2022年5月25日
Airbnb 的统一支付数据读取流程
Airbnb 的统一支付数据读取流程
InfoQ
0+阅读 · 2022年8月3日
流计算引擎数据正确性的挑战
流计算引擎数据正确性的挑战
阿里技术
0+阅读 · 2022年10月13日
陶哲轩：张益唐新论文存在一些技术问题，我已请他澄清
陶哲轩：张益唐新论文存在一些技术问题，我已请他澄清
量子位
2+阅读 · 2022年11月17日
本地生活赛道再迎「黑马」，跨界者会成为最后的赢家吗？
本地生活赛道再迎「黑马」，跨界者会成为最后的赢家吗？
36氪
0+阅读 · 2022年10月14日
2013年图灵奖得主Leslie Lamport：如何写出数学上完美的算法
2013年图灵奖得主Leslie Lamport：如何写出数学上完美的算法
THU数据派
1+阅读 · 2022年5月27日
专访蚂蚁：这群技术排头兵，如何做好底层开发这件事？| 卓越技术团队访谈录
专访蚂蚁：这群技术排头兵，如何做好底层开发这件事？| 卓越技术团队访谈录
InfoQ
0+阅读 · 2022年7月13日
参考链接
微信扫码咨询专知VIP会员
Top