当前的 AI 领域，可以说 Transformer 与扩散模型是最热门的模型架构。也因此，有不少研究团队都在尝试将这两种架构融合到一起，以两者之长探索新一代的模型范式，比如我们之前报道过的 LLaDA。不过，之前这些成果都还只是研究探索，并未真正实现大规模应用。
字节跳动旗下悟空浏览器已正式接入DeepSeek R1模型。
Web Agent是这样一种特殊的智能体：它借助AI自动控制你的浏览器，并完成你“交代”的任务。比如帮你挑选一部最新的iPhone或者到旅行网站预订机票。这样的智能数字助手，无论是对生活还是工作，未来无疑都具有重大的意义。当前有大量的研究正针对这种Agent展开，本文就来聊聊其最新进展及DeepSeek的应用。
在实际应用中，我们常常需要模型输出具有严格结构的数据，比如生物制药生产记录、金融交易报告或医疗健康档案等。这种结构化输出的需求在生物制造、金融服务、医疗健康等严格监管的领域尤为重要。
当AI开始普及时，什么行业会最先受到影响？这个问题在过去曾经引起过不少争议，不过现在或许已经有了答案：翻译。近日，腾讯宣布将关停旗下的腾讯翻译君业务，包括app、在线网站和小程序都将在3月13日11:00正式关停，后续不再提供任何在线服务，并将删除所有用户的个人信息。
AI co-scientist系统基于Gemini 2.0开发，能够协助科研人员生成新的研究假设、制定实验方案，并通过自我改进提升结果质量。在生物医学应用中，AI co-scientist成功预测了药物再利用方向、提出新的治疗靶点，并解释了抗菌耐药机制。
尽管 OpenAI 和 Anthropic 的收入倍数在过去一年中下降，但 AI 应用开发者如 Perplexity 和 Writer 的收入倍数却上升，分析显示了十几家 AI 初创公司的估值和收入增长情况。
Pauline Clavelloux的创业故事展现了一个在全职工作压力下，通过AI技术打造成功应用的典型案例。以下是她从IBM全职员工到创建年收入约10万美元的AI应用IA Crea的详细过程，涵盖了从想法生成到市场验证、开发与推广的各个环节。
自动形式化数学定理证明，是人工智能在数学推理领域的重要应用方向。此类任务需要将数学命题和证明步骤转化为计算机可验证的代码，这不仅能确保推理过程的绝对严谨性，还能构建可复用的数学知识库，为科学研究提供坚实基础。
前阵子，我那年过半百的老爸也开始问我这个问题了。别以为AI只是个高级玩具，它跟以前我们用的所有工具都不一样。想想以前的计算机，让我们算数更快；互联网，让我们查资料更快。它们都是工具，帮我们提高效率。
