Gary Marcus(@GaryMarcus)· Gary Marcus (@GaryMarcus)·· 3 天前AI 评估 · 22/100分数表示内容值得关注的程度，依据实质份量、信息增量、证据强度、读者相关性和可用性，按内容类型加权。显示分数为两次独立评分的平均值。AI 判断可能有误，评分不代表事实已被核实，也不同于热点榜的讨论热度。
Gary Marcus 质疑 OpenAI 未公开模型证明数学难题的报告缺乏科学细节
The real news here isn’t the result; it’s what we were not told. 1. AI once tried to be a science. ...
AI 导读
Gary Marcus 批评 OpenAI 关于一个未发布模型证明数学难题的报告信息严重不足：既未说明所用方法，也未披露模型架构、失败率及训练与数据增强细节，他认为这种报告无法通过同行评审，外界也无从判断该结果能否推广到数学之外。他指出，该系统可能是迈向 AGI 的一步，也可能只是在 Lean 与合成数据构成的可验证领域里的取巧，仅凭这份报告几乎无法判断。
来源：Gary Marcus(@GaryMarcus) · x.com