Gary Marcus(@GaryMarcus)· Gary Marcus (@GaryMarcus)·· 5 小时前AI 评估 · 22/100分数表示内容值得关注的程度，依据实质份量、信息增量、证据强度、读者相关性和可用性，按内容类型加权。显示分数为两次独立评分的平均值。AI 判断可能有误，评分不代表事实已被核实，也不同于热点榜的讨论热度。
Gary Marcus 批驳将符号验证斥为"基础"的傲慢与无知
this tweet absolutely nails the intellectual arrogance and ignorance of those who would dismiss symb...
AI 导读
Gary Marcus 转发并赞同一条推文，批评那些把符号验证贬为"基础"的人既傲慢又无知。推文指出，自动定理证明器等符号验证器是20世纪数学形式化的最高成就。
来源：Gary Marcus(@GaryMarcus) · x.com