「大厂推虾苗」共找到 5547 篇相关文章
孪生素数猜想被GPT-6新突破！北大数学07级又出现了
OpenAI发布数学论文，宣布GPT-6 Astra在孪生素数猜想上有新进展，用Lean形式化证明把连续素数间距的上界从246推到186。此外，其3D生成效果出色，Codex还新增可搜索笔记功能。
Codex 的野心，MCP 和 Skill 的下一步
作者密集使用Codex App等Agent应用，发现顶尖Agent收敛到相同界面布局。Codex野心大，要处理多格式文件、支持专业工作流。MCP和Skill未解决用户二次编辑问题，插件机制或是出路，Codex已有原始插件市场。
AI4S回归白盒符号主义，清华等联合发布SR-LLM：自主发现科学知识
清华大学等多所高校联合发布SR - LLM，这是融合大语言模型与深度强化学习的符号回归框架。它从数据生成可解释数学模型，在跟车行为建模等任务表现优，为机器自主科学发现开辟新路径。
英伟达巧用8B模型秒掉GPT-5，开源了
英伟达携手港大开源Orchestrator-8B小模型，在HLE测试中分数超GPT - 5，成本低且速度快。它靠ToolOrchestra训练法，协调工具解题。此赛道已有多项研究，小模型实用优势明显。
百度CTO王海峰：AGI曙光已现，Scaling Law仍有效｜新智元十周年峰会
新智元十周年峰会，百度CTO王海峰分享AI发展。回顾十年，从AlphaGo到如今大模型爆发，AGI曙光已现。他指出AI具通用性和全面性，百度内部超45%新增代码由AI生成，Scaling Law仍有效。
刚刚！Thinking Machines Lab ｜ 长文揭开LLM推理不确定性真相！
Thinking Machines Lab发布《克服LLM推理中的不确定性》，揭示大语言模型推理不确定性原因，并非“并发 + 浮点”假设那么简单，主要是负载及batch size不确定所致，还给出让核函数有批次不变性的方法及实验结果。
估值200亿，小米、宁德时代看中的半导体独角兽冲刺IPO
6月30日，芯迈半导体递表港交所拟上市。该公司专注功率半导体，获小米、宁德时代等投资，估值达200亿。不过近三年营收下滑、亏损加大，依赖大客户，此次IPO有“输血”意味，扭亏是核心问题。
奥特曼亲自点名：他定义了OpenAI的技术路线，却几乎没人知道他是谁
2026年7月28日，Altman在播客推Alec Radford至台前，称其为领域重要却鲜为人知的研究者。他主导GPT、CLIP、Whisper等研发，为AI发展贡献大。2024年他离开OpenAI，此后发布Talkie，持续探索模型能力来源。
一个极度实用的深度思考Prompt，帮你挖出最本质的答案。
作者分享推特上一个让大模型深度思考的Prompt，调研后引入‘钢人论证’概念，指出其能避免AI谄媚。作者还写双向钢人Prompt，介绍其作用，并以公司司庆日选择为例展示效果。
内存涨价，千元机的天塌了
去年下半年起存储芯片涨价，因AI基础设施需求爆发，三大存储芯片厂产能被榨干。消费级产品供应受挤压，中低端手机成最大受害者，各厂商搁置低价产品线，中低端市场持续萎缩。