陶哲轩亲自曝光:AI破解数学难题,竟全是「抄」的?
陶哲轩亲自曝光:AI破解数学难题,竟全是「抄」的?数学大神陶哲轩近期发现,AI声称破解的Erdos难题,实则是多年前已被人类解决但被遗忘的「旧闻」。这揭示了AI当前的核心能力并非从0创新,而是利用超强算力扫描人类文献的「长尾黑洞」,摘取那些被我们忽视的「低垂果实」。
数学大神陶哲轩近期发现,AI声称破解的Erdos难题,实则是多年前已被人类解决但被遗忘的「旧闻」。这揭示了AI当前的核心能力并非从0创新,而是利用超强算力扫描人类文献的「长尾黑洞」,摘取那些被我们忽视的「低垂果实」。
现年 69 岁的传奇程序员、「Go 语言之父」Rob Pike,这几天被一封邮件惹毛了,接连几个「F**k」爆起粗口。
今年下半年,Sora的出现再次将AI视频推至全球讨论的焦点。基于用户提供的图像信息,AI能够复刻人物形象,并生成高度逼真的视频内容,生成式视频能力的边界被进一步延展
老黄稳准狠,谷歌的TPU威胁刚至,就钞能力回应了。
2025 年,AI 不仅占据话题 C 位,更成为超级造富机,将 50 多位创始人送入亿万富翁俱乐部。本文将盘点这场史无前例的 AI 财富狂欢与背后的顶级赢家。
2025年12月5日,纽约时报(NYT)起诉Perplexity版权侵权。Perplexity是一家“小而美”的开发生成式AI的公司,苹果曾考虑收购它以增强自己的AI能力。
两个月以来,我一直想写一篇给小白的 CC 入门指南,今天终于可以写了。
面对苍白的CLI终端界面,有些深度依赖IDE的使用者,用Claude Code还是会不习惯的。于是我找了蛮多的资料,看看有没有适合新手的GUI工具。
嗨大家好!我是阿真! 原本2025除了年终总结不打算写东西了,这个是我准备线下分享的内容的时候,写着写着觉得还是挺有意思的,所以按照文章的格式优化了一下分享出来。
我真正的学习方式就是通过动手做东西。在不知道自己到底在干什么的情况下构建东西。我不懂那些概念和词汇。我想做这个。我就去搞清楚怎么做。用手头现有的任何工具,然后通过实践来学习。