标签:众包项目

陶哲轩全网悬赏「最强大脑」!AI+人类颠覆数学难题?凡尔赛网友已下场

陶哲轩,一位著名的数学家,最近发起了一项挑战,旨在探索是否可以利用AI和众包的方式扩展数学问题的证明范围。他提出了一个项目,使用Lean4证明辅助语言来形...