跳到主要内容
证明助理贝塔
Will Sawin的用户头像
Will Sawin的用户头像
Will Sawin的用户头像
威尔·萨温
  • 的成员2年7个月
  • 上次看到的一周多以前
简况 活动
统计数据
921
名声
3公里
达到
2
答案
三
问题
社区
查看全部
关于

我是普林斯顿大学的教授。

徽章
查看所有徽章
此用户还没有任何金徽章。
5
银质徽章
17
青铜徽章
顶部标签
查看所有标签
18
分数
1
帖子
20
帖子%
11
分数
三
帖子
60
帖子%
0
分数
2
帖子
40
帖子%
0
分数
1
帖子
20
帖子%
0
分数
1
帖子
20
帖子%
0
分数
1
帖子
20
帖子%
顶部立柱
问题
26
机器学习在形式定理证明中的成功
2022年2月10日
回答
18
计算机代数系统与证明助手的非平凡差异
2022年2月8日
问题
14
通过构造性形式化获得的算法
2022年3月19日
问题
13
形式证明的外来自然语言摘要
2022年2月8日
回答
11
“形式化100个定理”的影响及下一步
2022年2月13日
顶级Meta帖子
0
1
5
SE“超级用户”是否试图在网站上植入“有趣的问题”？
顶级网络帖子
查看所有网络帖子
226
诺瑟环游戏
129
群论中的5/8界
108
鸡蛋：“多项式族根的奇怪行为。
79
斐波那契数列捕捉到了Euler$e=2.718\dots$
77
为什么微分伽罗瓦理论没有得到广泛应用？