Justin Sun Prize 与 MathDB 启动数学试点

Techub News 消息，Justin Sun Prize 办公室宣布与 MathDB 合作启动数学研究试点。MathDB 由加州理工学院教授 Tony Yue Yu 团队开发。 试点覆盖 50 个数学问题，设四档奖项，单题奖金池最高 100 万美元。MathDB 将接收解答提交、验证 Lean 形式化并审阅说明材料，Justin Sun Prize 另行评估资格与归属。 Justin Sun 在声明中表示，AI 正在改变数学探索速度，但速度本身不等于科学进步。奖励分配为数学解答 50%、Lean 形式化 30%、合格说明 20%。（BeInCrypto）