本周总结: - 我们发布了使用代理的通用计算机 - 在atcoder启发式竞赛中被一个人类击败 - 用自然语言证明解决了6个IMO新问题中的5个 所有这些都基于同一个强化学习系统
138.22K