EN

← 人物

@billysnikkers介绍页 · timaeus.co ↗

Billy Snikkers

研究者

现任 Resolution 公司自己的研究文章署名作者

最新记录时间线 · 10月6日Resolution 用智能体把 Hironaka 的奇点消解定理形式化进 Lean：约一周、60 万行，token 花费估计 13.5 万美元

账号链接自 billysnikkers.net · 头像来自其 X 账号，取于 2026-10-27

任职

现任

现任职务来自下面这些带日期的记录，不取自简介。每条都链到读过的页面。

时间线上提到

这一页有错误或遗漏？告诉我，会更正或撤下。 联系 →