模型Agent 与开发者多源确认13:39OpenAI 发布 722 篇数学论文,声称解决 500 个未解难题中的 90 个OpenAI 一次性放出 722 篇数学论文,说解决了 90 个前 500 难题,数学圈已经在吵着验证了。#OpenAI#数学#黎曼假设#研究10 个信源在谈事件专题官方账号Latent Space (swyx)11 个信源在谈原文稍后读已读值得跟进有用关注 OpenAI
模型中美对照多源确认03:29Anthropic用未发布Claude研究黎曼假设,零点下界提至67.2%Anthropic让Claude试解黎曼假设,没解开但把零点下界从41.6%刷到67.2%,感受下AI数学推理现在能到哪一步。#Claude#Anthropic#黎曼假设#推理模型10 个信源在谈事件专题Gary Marcus@GaryMarcus11 个信源在谈原文稍后读已读值得跟进有用关注 Claude