标签:数研突破

超越IMO金牌?谷歌创超难FirstProof数学挑战新纪录

去年7月的IMO数学奥林匹克竞赛中,两大AI公司争夺金牌的闹剧引发关注:OpenAI因绕过官方竞赛规则提前官宣遭到广泛吐槽,谷歌DeepMind的Gemini进阶模型成为首...