AI
最强前端编程渲染：OpenAI o3-alpha 曝光，力压 Sonnet、Grok4 等 AI 顶流模型
AI在线 7 月 19 日消息，科技媒体 bleepingcomputer 昨日（7 月 18 日）发布博文，报道称 OpenAI 正计划升级 o3 推理模型，目前正测试新的 Alpha 版，预估在推理和编程方面会有更大提升。 o3 是 OpenAI 目前最强的推理 AI 模型，而根据最新曝光代码，OpenAI 公司正在开发“o3-alpha-responses-2025-07-17”模型，并以“Anonymous-Chatbot”的名字出现，从名称来看，应该不是 OpenAI 计划发布的开源模型。 该媒体测试了该模式，发现在设计网页方面，在输入相同的简单提示词后，o3-alpha 所创建的内容要优于 o3 模型，甚至有网友已经尝试用 o3-alpha 模型，创建简单的网页游戏。
原价 20 美元 Pro 会员喜加 1 个月：Perplexity AI 上线大学生教育优惠计划
AI在线 7 月 18 日消息，Perplexity AI 宣布为全球大学生推出教育优惠计划，可以免费使用 1 个月 Pro 订阅服务（AI在线注：原价每月 20 美元，现汇率约合每月 143.7 元人民币），用户在经过 SheerID 验证后，即可获得相应使用权。 此外，若用户推荐其他符合条件的学生注册 Perplexity 账号并通过 SheerID 验证，自己也可额外获得 1 个月 Pro 会员（支持邀请多人，可叠加最多 2 年订阅服务），AI在线附访问地址（）。 据介绍，Perplexity Pro 订阅服务允许用户调用 GPT-4.1、Claude 4.0 Sonnet、Gemini 2.5 Pro 等多种大语言模型，还可调用 Perplexity R1、o3、Claude 4.0 Sonnet Thinking 等推理引擎，帮助用户更高效获取精准答案。
砸钱抢市场，AI 搜索企业 Perplexity 向印度 3.6 亿用户免费赠送原价 200 美元的一年 Pro 服务
AI在线 7 月 18 日消息，据外媒 TechCrunch 17 日的报道，专注搜索的 AI 初创公司 Perplexity 与印度第二大电信运营商 Bharti Airtel 达成独家合作协议，为 Airtel 的 3.6 亿用户提供免费 12 个月 Perplexity Pro 订阅服务，这项服务原价 200 美元（AI在线注：现汇率约合 1437 元人民币）。 Airtel 确认，该合作具有排他性，印度境内其他电信商不得向用户提供 Perplexity 服务，包括免费使用。 印度作为全球人口最多的国家，代表着 Perplexity 在其他地区难以获得的庞大潜在市场。
真热AI！米哈游5亿成立新公司
时令 发自 凹非寺. 量子位 | 公众号 QbitAI西方马斯克在造AI女友，东边米哈游却在造“无定谷”。 就在最近，米哈游全资成立了新公司：上海米哈游无定谷科技有限公司，注册资本高达5亿。
2025 IMO真题撕碎AI数学神话，全球顶尖模型齐翻车！冠军铜牌都拿不到
如果你以为，如今的LLM已经无所不能，那刚刚出炉的2025大模型数学竞赛结果，恐怕要让你大跌眼镜了。 现在，各模型的分数已经在MathArena上发布。 怎么说呢，所有大模型都翻车了。
如何让团队真正接受 AI 编程助手
你的团队是否开通了AI编程助手却面临使用率低的问题？ 除了常规的知识分享，还有哪些方法能有效提升使用率？ 本文将分享我们团队在启用GitHub Copilot后的实践经验与解决方案。
OpenAI深夜发布ChatGPT Agent：能主动思考、自选工具，智能体赛道大变天
今天凌晨1点，OpenAI进行了技术直播发布了重磅产品ChatGPT Agent。 ChatGPT Agent具备自主思考和行动的能力，能够主动从其技能库中选择合适的工具，包括Operator、 Deep Research和ChatGPT来完成各种超复杂任务。 例如，用户可以要求 ChatGPT Agent分析三个竞争对手并制作幻灯片演示文稿等请求。
广义智能体理论：智能时代通向「万物理论」的新路径？
在现代科学的宏伟蓝图上，「万物理论」（Theory of Everything）代表着一个大一统的梦想：构建一个包罗万象、逻辑自洽的理论体系。 它的雄心在于，用最少的本源法则，去解释宇宙间森罗万象的现象——从宇宙大爆炸的奇点、时空本身的弯曲，到基本粒子的相互作用、再到化学键的构成、DNA链的螺旋，直至智能的萌发与自我意识的诞生。 然而，通往这一「梦想」理论的道路上，横亘着现代物理学最深刻的两大鸿沟：其一，是在宏观尺度上描述引力的广义相对论，与在微观尺度上主导一切的量子力学之间，存在着根本性的不相容；其二，物理学中的四大基本作用力（引力、电磁力、强核力、弱核力）至今未能被纳入一个统一的理论之中。
清华陈麟九人天团，攻克几何朗兰兹猜想！30年千页证明，冲刺菲尔兹大奖？
耗时30年，近1000页论文，终于攻克了「几何朗兰兹猜想」！ 朗兰兹纲领，又被称为「大一统理论」，困扰了数学家多半个世纪，至今仍是一个未解之谜。 如今，来自普朗克数学研究所Dennis Gaitsgory和耶鲁大学Sam Raskin领衔九人团队，在五篇论文中，完成了证明其中一个分支的壮举。
全球最强开源「定理证明器」出世！十位华人核心，8B暴击671B DeepSeek
全球最强的开源「定理证明器」诞生了！ 来自普林斯顿、清华、英伟达、斯坦福等八大顶尖机构联手，祭出了第二版Goedel-Prover-V2模型。 项目地址： 2025顶会录用，曾在miniF2F Pass@32刷新SOTA，位列PutnamBench榜首。
大模型转行土木工程！首个「打灰人」评估基准：检验读、改工程图纸能力
在AI竞速的今天，大语言模型（LLM）早已不满足只在象牙塔里「背书解题」。 当GPT-4o刷题通过物理奥赛、DeepSeek熟练搭建网站之后，LLM必须直面一个更现实的问题：这些号称「专家级」的大模型，能不能真的下工地？ 能不能帮工程打工人减负？
刚刚，奥特曼放出ChatGPT「统一智能体」！惊呼真AGI，最卷打工人来了
今晚，ChatGPT和Deep Research、Operator「三剑客」首度合体！ 奥特曼亲自带队，25分钟高能直播重磅发布ChatGPT agent，开启人类和智能体协作全新时代。 ChatGPT agent的核心，是一个统一的智能体系统。
AI招聘革命：为何专门招应届生？
想象一下这个场景：你是一个刚刚毕业的大学生，投简历屡屡碰壁，招聘方总是要求"3年以上工作经验"。 突然有一家公司告诉你："我们专门招应届毕业生，因为你们是AI时代最有价值的员工。 "听起来是不是很不可思议？
两位AI传奇预测编程的未来，但你想不到
当你刷着技术动态，忽然看到又一条大胆宣称：“AI将在2026年取代所有程序员。 ”这时，OpenAI联合创始人Andrej Karpathy和亚马逊、谷歌资深工程师Steve Yegge给出了他们的真实预测，结果完全颠覆了这种说法。 他们的观点是：大家都想反了。
o1核心贡献者离职后首发声：AI是史上最强杠杆，超越人力、资本和代码
又一位离职OpenAI的核心研究员发声！ 刚刚被曝加入Meta的Hyung Won Chung，分享了他对AI未来的深刻思考：人工智能正在成为有史以来最强大的杠杆机制。 Hyung Won Chung和一同离开OpenAI的Jason Wei是长期搭档，他们的合作可以追溯到谷歌大脑时期，两人曾共同作为第一作者发表了关于模型微调的重要论文《Scaling Instruction-Finetuned Language Models》。
人类击败OpenAI守住编程冠军！10小时激战两次反超，AI最后关头功亏一篑
10小时激战！ 人类最后关头实现超越，获得编程总决赛冠军~而原本始终保持领先优势的OpenAI，最终屈居第二。 在刚刚落幕的AtCoder世界巡回总决赛上，12名决赛选手两天时间里展开角逐。
Cursor首席设计师谈 AI 应用的 UI 和 Cursor 的 UX 经验
最近，我看了很多遍 Cursor 首席设计师 Ryo Lu 的访谈。 Ryo 曾是 Notion 的首席设计师，今年跳槽到了 Cursor。 Ryo 不是那种传统意义上只关注界面设计的设计师，尤其是加入 Cursor 之后，他已经开始通过 Vibe Coding 写代码，参与产品原型的开发。
Codex CLI vs Gemini CLI：谁是更出色的编程智能体？
译者 | 布加迪审校 | 重楼开发者可以利用这些CLI提高代码理解能力、加快调试速度，并自动执行复杂的编程任务。 像Codex CLI这样的工具将基于AI的强大功能（比如代码生成、重构和内联文档）直接引入到命令行中，帮助用户更高效地编写、分析和改进代码。 随着谷歌推出轻量级开源替代品Gemini CLI，市场变得更激动人心，Gemini CLI 正迅速普及。
资讯热榜
标签云
AI
人工智能
OpenAI
AIGC
模型
ChatGPT
谷歌
DeepSeek
AI新词
AI绘画
大模型
机器人
数据
Midjourney
开源
Meta
微软
智能
用户
GPT
学习
英伟达
Gemini
智能体
技术
马斯克
Anthropic
图像
AI创作
训练
LLM
论文
AI for Science
代码
腾讯
苹果
算法
Agent
Claude
芯片
具身智能
Stable Diffusion
xAI
蛋白质
人形机器人
开发者
生成式
神经网络
机器学习
AI视频
3D
字节跳动
大语言模型
RAG
Sora
百度
研究
GPU
生成
华为
工具
AGI
计算
生成式AI
AI设计
大型语言模型
搜索
亚马逊
AI模型
视频生成
特斯拉
DeepMind
场景
Copilot
深度学习
Transformer
架构
MCP
编程
视觉