MIT 周末黑客松团队以符号逻辑与 AI 科学工具获总分第二

MIT 工程学院周末黑客松中，@jdietz 所在团队以符号逻辑与 AI 科学工具获总分第二，并夺得 @askalphaxiv 和 @nebiusai 赛道第一。