AI在编程奥赛中第一次赢过了人类冠军
2026年，一件此前从未发生过的事情发生了。在国际信息学奥林匹克竞赛（IOI）2026赛场上，一套AI系统在和人类选手完全相同的条件下，用同样的时间限制、同样的提交次数、同样断网的比赛环境，拿到了535.4分，超过了当届人类最高分498.27分，也远远甩开了金牌线361.12分。
判断一篇论文的水平，先看Introduction：高手读论文都在看什么？
你有没有过这样的经历？拿到一篇论文，先看摘要，觉得挺厉害；接着打开 Method，开始研究各种公式、网络结构和算法细节；好不容易看到实验部分，又被一大堆数据表格绕得头晕。几个小时过去了，论文似乎读完了，但如果有人问你：这篇论文到底好在哪里？它真正解决了什么问题？
1亿美元买不走梦想，但只因奥特曼这句话，他离开了OpenAI
全球AI军备竞赛烧掉3000亿美元，但真正在防止「终结者」的科学家，竟不足千人！Anthropic核心成员Benjamin Mann揭秘：当人形机器人觉醒，缺的只是一个「大脑」——而这一天，最早可能在2028年到来。1亿美元，还是守护人类？
港大王炸开源！一键把长篇论文变成专业PPT和海报，效果炸裂！
导语：每次看完几十页的顶会论文，还要花好几个小时截图、排版、做组会汇报的PPT？香港大学数据智能实验室（HKUDS）最近开源了一款堪称“科研救星”的神器——Paper2Slides。只需要一行命令，长篇大论瞬间变成排版精美的PPT或学术海报！
AlphaCode惊世登场！编程版“阿法狗”悄悄参赛，击败一半程序员
其实，AlphaCode早在几个月前就“悄悄进村”了，一直没人察觉。它默默参加了著名网站Codeforces最近举行的10场编程比赛，成绩超过了一半人类。
GPT-4帮陶哲轩解题、证明数学定理：数学真要成为首个借助AI实现突破的学科了？
数学将成为第一门借助 AI 实现重大突破的学科？陶哲轩 图片来源：Kyle Alexander/Quanta magazine本文转载自公众号“机器之心”编辑 张倩、蛋酱去年 2 月份，DeepMind 发布了编程辅助利器 AlphaCode。
刚刚，梁文锋发Nature了！
智东西作者 | 陈骏达编辑 | 李水青昨晚，DeepSeek再度开创历史！智东西9月18日报道，9月17日，由DeepSeek团队共同完成、梁文锋担任通讯作者的DeepSeek-R1推理模型研究论文，登上了国际权威期刊《自然（Nature）》的封面。
刚刚，梁文锋发Nature了
昨晚，DeepSeek再度开创历史！智东西9月18日报道，9月17日，由DeepSeek团队共同完成、梁文锋担任通讯作者的DeepSeek-R1推理模型研究论文，登上了国际权威期刊《自然（Nature）》的封面。
科技爱好者周刊#274：加密通信的最后一块拼图
加密通信的最后一块拼图。十一期间，世界最大的 CDN 服务商 Cloudflare 发了一篇博客文章，宣称解决了“加密通信的最后一块拼图”。