「AI赋能数学计划」共找到 10063 篇相关文章
突发，Claude首破黎曼猜想新纪录！
Anthropic让内部研究版Claude证明「黎曼猜想」失败，但它将符合猜想的黎曼Zeta函数零点比例下限从41.6%提升到67.2%。此成果意义重大，标志AI进入开放数学研究。
追不上就直接买，马斯克600亿美元收购Cursor
马斯克旗下SpaceX官宣600亿美元收购编程神器Cursor，虽Cursor曾陷“套壳”争议，但双方各有所求。SpaceX在AI编程赛道追赶效果不佳，而Cursor受算力制约，二者一拍即合。此外，SpaceX计划上市，此时收购时机耐人寻味。
CSDN 创始人蒋涛：“码盲”消失，新程序员崛起
CSDN 创始人蒋涛在大会演讲指出，从传统互联网到 AI 是底层变迁，要翻越美国‘三座大山’实现从 Global AI 到 Local AI。他预言‘码盲’将消失，新程序员崛起，AI 还能重写硬件，中国机遇大。
Redis 之父：哪怕被喷我也得说，AI 远远落后于人类程序员！开发者跟评：用大模型气得我自己写代码都有劲儿了
Redis 之父 Antirez 分享研发经历，认为人类程序员比大模型出色，人类能打破常规想出更有效解法。他在修复 Redis 复杂 bug 时，与 Gemini 2.5 PRO 交流，凸显人类创造力优势。开发者看法不一，AI 虽成工具但缺创造力。
小扎开建「人类第一算力帝国」！26年榨干当地水电，27年超越星际之门
Meta进军AI超算领域，扎克伯格宣布2026年启用1GW「Prometheus」集群，2027年建成占地如曼哈顿的「Hyperion」计划部署超5GW级算力，Meta还将自建天然气电厂，力抗OpenAI与马斯克。
“千问奶茶”在二手平台6元转售；追觅俞浩：年终奖最高20个月奖金，总量会达到10亿级；京东001号快递员：退休金4000多，存款百万｜AI周报
这是一份AI周报，涵盖行业热点、大模型发布等多方面信息。有追觅俞浩高额年终奖计划，马云现身阿里千问项目组引发‘千问奶茶’活动热潮，还有域名交易、企业收购、模型发布及应用等动态。
小扎忍痛，亲口宣告了元宇宙的死亡
扎克伯格的「元宇宙」执念向现实低头，Meta计划削减Reality Labs元宇宙部门人力，将资源倾斜至AI智能眼镜。此前Reality Labs四年亏超700亿美元，而智能眼镜销量火爆。
我爬了Moltbook所有的帖子，发现这就是一场骗局。
作者扒遍Moltbook，发现它宣传的AI自主社交是骗局。调API就能以AI身份发帖，账号注册无速率限制，所谓150万AI智能体数字存疑。教授论文揭示AI不交流、词汇重复，案例多为营销。
刚刚，奥特曼亲赴，韩国「举国」投靠！
奥特曼飞赴首尔与韩国总统、两大财阀巨头会晤，三星、SK与OpenAI达成战略合作伙伴关系，将增加先进存储芯片供应、扩大数据中心容量，助力韩国AI发展，也加速Stargate计划落地。
扎克伯格发文正式告别“默认开源”！网友：只剩中国 DeepSeek、通义和 Mistral 还在撑场面
Meta 首席执行官扎克伯格分享“个人超级智能”愿景，透露公司调整 AI 模型发布策略。此前 Meta 强调开源优势，如今态度转变，巨额投入后或暂停开源新模型，计划并行训练开源与闭源模型。