Joseph Tooby-Smith
研究者
现任 巴斯大学计算机科学讲师（助理教授），数学基础研究组；Physlib 维护者
最新记录评论 · 10月13日Tooby-Smith：AI 在 Lean 里解出的猜想只是凭证，不是证明照片取自本人的 X 账号、本人网站、实验室或所在机构的团队页、以相同职位列出其为讲者的会议页面，或 Wikimedia Commons 上按所注许可使用的照片，有些可能不是最新的。本人可以要求更换或撤下。 联系 →
任职
他们写的评论
- 2026-10-06Krippendorf 等：证明通过了检查，不等于物理定义是对的
- 2026-10-13Tooby-Smith：AI 在 Lean 里解出的猜想只是凭证，不是证明
这一页有错误或遗漏？告诉我，会更正或撤下。 联系 →