MIT 黑客松团队凭符号逻辑+AI 科学工具获总分第二
ProfBuehlerMIT · x · 2026-11-03
MIT 工程学院周末黑客松上,@jdietz 所在团队获总分第二,并拿下 @askalphaxiv 和 @nebiusai 赛道第一。团队缘起于 Google AI co-scientist 联合发明人 @kkVirtualVerve 在 Foresight Institute 活动上提出「符号逻辑应纳入下一代 AI 工具」的想法,随后加入 @ProfBuehlerMIT 在 MIT Media Lab 举办 Science Claw 活动,成员还包括 Allen Institute、Nanopublications 与 Broad Institute 的人士,获 @e14fund、Claude 与 Gemini 支持。
「公司和人」频道最新
- Every 用 4 人团队加 Claude、Codex、Agent 办起三舞台 AI 大会 — danshipper · 2026-11-04
- 曝扎克伯格将 Alexandr Wang 与 Nat Friedman 视为平级 despite 汇报关系 — ShakeelHashim · 2026-11-04
- 曝 Dean Ball 加入 OpenAI 负责「给全球事务团队洗脑 AGI 信仰」 — ShakeelHashim · 2026-11-04
- 曝黄仁勋向 SSI 投入 50 亿美元 仍未看到公司全部秘密 — ShakeelHashim · 2026-11-04
- Ryan Rhys 加入 Fields Model,任 ML 研究与合作总监 — Ryan__Rhys · 2026-11-04
- Cosmos 招幕僚长:掌 7760 万美元基金,两年后助你创业或入大厂 — sethlazar · 2026-11-04