Ryan Williams
研究者
现任 MIT 电气工程与计算机科学教授
最新记录时间线 · 10月26日OpenAI 与 Anthropic 各自宣称找到亚指数时间的 3-SAT 算法，推翻指数时间假设；两边都过了 Lean 检查，但都没有外部核验照片取自本人的 X 账号、本人网站、实验室或所在机构的团队页、以相同职位列出其为讲者的会议页面，或 Wikimedia Commons 上按所注许可使用的照片，有些可能不是最新的。本人可以要求更换或撤下。 联系 →
任职
时间线上提到
这一页有错误或遗漏？告诉我，会更正或撤下。 联系 →