Gate News 消息，4月24日——DeepSeek V4 已发布来自形式化数学推理评测的结果，在 Putnam-2025 上获得满分 120/120，与 Axiom 并列第一。 在使用 LeanExplore 和受约束采样的实际模式下，V4-Flash-Max 在 Putnam-200 Pass@8 基准测试中得分 81.00，显著优于 Seed-2.0-Prover 35.50、Gemini 3 Pro 26.50 和 Seed-1.5-Prover 26.50。前沿模式的结果显示，V4 在 Seed-1.5-Prover 110/120 与 Aristotle 100/120 之前。 V4 采用混合的形式化-非形式化推理方法：非形式化推理生成候选自然语言解答，自我验证用于筛选结果，而形式化智能体在 Lean 中完成严格证明。前沿结果采用了大规模计算扩展，而实际模式分数更能反映标准部署能力。

Gate News 消息，3 月 31 日，Anthropic 旗下 AI 编程工具 Claude Code 宣布新增「电脑使用」（Computer Use）功能。该功能支持用户直接从命令行界面打开应用程序、操作图形界面并测试所构建的内容。目前，该功能已向 Pro 和 Max 计划用户开放研究预览版。

美国众议员Steven Horsford与Max Miller发布《数字资产 PARITY 法案》讨论草案，旨在建立统一税务框架，推动数字资产发展，提出小额免税和延迟纳税等措施，明确数字资产相关税务规则，仍在讨论中。

SID.ai CEO Max Rumpf 指控 Chroma 的 Context-1 模型抄袭 SID-1 研究成果，未给予引用或致谢。Rumpf 提供了与 Chroma CEO Huber 的邮件内容为证，两者在模型设计上存在诸多相似之处。Rumpf 强调这种行为损害了科研的分享精神，Chroma 目前未对此作出回应。

Claude 于3月24日发布公告，用户现可通过其功能操作电脑，展示应用、浏览网页等。目前为研究预览版，仅支持macOS，功能限制在Pro和Max用户中。用户可远程分配任务并设置重复执行。

Anthropic 在 Claude 桌面端推出新功能 Dispatch，用户可通过手机指令让 Claude 在电脑上执行任务。该功能需用户确认每个操作，现仅对 Max 订阅用户开放，Pro 用户将很快获得权限。测试显示速度较慢，任务成功率约五成。

Gate News 消息，3 月 15 日，Claude 宣布从 3 月 13 日至 27 日，为免费、Pro、Max 和 Team 计划用户提供使用量配额加倍优惠。优惠在非高峰期自动生效，非高峰期定义为每个工作日太平洋时间上午 5 点至 11 点（格林威治标准时间中午 12 点至下午 6 点）以外的时段，以及周末全天。Claude 表示，此举旨在奖励用户并优化系统负载。

OpenAI核心研究员Max Schwarzer宣布离职，加入Anthropic，将专注于强化学习研究。他曾参与o1和o3的后训练，并领导后训练团队交付多款GPT产品。

Foresight News 报道，USD.AI 推出 Level Up 机制，参与者通过锁定 Pendle YT 获取权益。CHIP 代币 ICO 将于 2 月 22 至 27 日开放，FDV 为 3 亿美元。用户可选择不同策略锁定代币，享有退款和折扣估值，此外还可通过空投获得变现机会。

Surf平台获得了Fabric原生代币ROBO公售的优先分配权，所有Surf Pro/Max年度订阅用户资格将在1月30日拍摄快照。Surf结合人工智能与去中心化技术，推动智能经济发展。