AI4Math

大语言模型在解决前沿数学猜想上取得重大突破。北京大学王立威团队构建了全新框架，针对尘封近60年的吉尔伯特-波雷克猜想进行攻关，成功将二维斯坦纳比下界提升至0.8559。该系统利用结构化验证与瓶颈反馈机...