搜索
就在刚刚，Anthropic正式发布Claude 4系列模型：Claude Opus 4和Claude Sonnet 4。没喊口号，没搞长篇论文，这次Claude升级的关键词只有一个：干活。据Anthropic宣称，Opus 4是目前全球最强的编程模型，能够稳定胜任复杂且持续时间长的任务和Agent工作流。而Sonnet 4则着重强化了编程和推理能力，能更精准地响应用户的指令。
微软扔出了一个重磅炸弹：VS Code 将开源 GitHub Copilot Chat 扩展，并采用最宽松的 MIT 协议。微软扔出了一个重磅炸弹：VS Code 将开源 GitHub Copilot Chat 扩展，并采用最宽松的 MIT 协议。
普林斯顿大学与字节 Seed、北大、清华等研究团队合作提出了 MMaDA（Multimodal Large Diffusion Language Models），作为首个系统性探索扩散架构的多模态基础模型，MMaDA 通过三项核心技术突破，成功实现了文本推理、多模态理解与图像生成的统一建模。
苹果元老级人物、前首席设计官初创公司，OpenAI斥巨资收入囊中！
辅助消化道早癌和癌前病变的识别、诊断。
关注医疗、面向大众
据报道，在 Builder.AI 承认其前任管理层存在“问题”数周后，这家获得微软支持的科技初创公司如今已正式启动破产程序。
Mistral沉默好久，果然在憋大招。
LM Arena 是一个众包基准测试项目，各大 AI 实验室依赖其测试和推广自家 AI 模型。据彭博社报道，该项目已在种子轮融资中筹集 1 亿美元 ，估值达 6 亿美元。
数学大师陶哲轩的第三支Lean 4自动化数学证明视频来了！他携手GitHub Copilot挑战分析学经典的「ε-δ」极限问题：加法定理Copilot挥洒自如，减法开始卡壳，乘法更是全面失控。Copilot究竟是神助攻还是添乱？