搜索
昨晚，数学界炸了！由HarmonicMath开发的AI数学家「亚里士多德」（Aristotle），100%独立完成了埃尔德什问题#124。它在Lean证明系统中，耗时仅6个小时，验证只需1分钟。
我们正在经历一次静悄悄、但本质性的AI范式转换。
得益于广阔的市场空间和逐渐加码的政策支持，跨境电商近几年来一直是创业者入局的热门赛道。
Hi，早上好。 我是洛小山，和你聊聊 AI 应用的降本增效。
刚刚，Erdos 问题 #124 的一个弱化版本被证明。
估值飙升至3500亿美元，Claude Opus 4.5强势登顶企业级市场，Anthropic正式终结了OpenAI的独角戏时代。从Instagram创始人到OpenAI的「决裂者」，这11位顶尖人物组成了硅谷最豪华的「复仇者联盟」。他们用一场惊天逆袭证明，在通往AGI的狂飙突进中，对安全的极致坚守才是最深的护城河。
导读 过去两年，小语言模型（SLM）在业界备受关注：参数更少、结构更轻，理应在真实部署中 “更快”。但只要真正把它们跑在 GPU 上，结论往往令人意外 —— 小模型其实没有想象中那么快。
对于谷歌（Google）而言，刚刚过去的一周可以看作其人工智能战略转型的关键节点。随着 Gemini 3 的正式发布，以及名为 Nano Banana Pro 的新模型在社交媒体与开发者社区中迅速走红，这家科技公司正在重新找回自己在 AI 领域的节奏与底气。
在大语言模型（LLM）的研究浪潮中，绝大多数工作都聚焦于优化模型的输出分布 —— 扩大模型规模、强化分布学习、优化奖励信号…… 然而，如何将这些输出分布真正转化为高质量的生成结果 —— 即解码（decoding）阶段，却没有得到足够的重视。
OpenAI，亟需一场翻身仗！今天，全网最大的爆料：GPT-5基石实为GPT-4o。自4o发布之后，内部预训练屡屡受挫，几乎沦为「弃子」。