Anthropic未发布的Claude研究版在尝试黎曼猜想时,将满足猜想零点比例的下限从41.6%提升至67.2%。
网友热议:有人惊讶AI竟能创造新数学成果而非仅复述数据;有人调侃让Claude去挑战P对NP问题;还有人指出67.2%在文献中已存在,Claude只是去掉了假设并用Lean验证,同时质疑若下限达100%是否算解决黎曼猜想。
请 登录 后评论。没有帐号? 注册 一个。
小陈