Home Sign Up Sign In
• 请不要在回答技术问题时复制粘贴 AI 生成的内容
johnsmith2077
V2EX  ›  程序员

Deepseek 发布新模型

  •   
  •   johnsmith2077 · Apr 30, 2025 · 2368 views
    This topic created in 552 days ago, the information mentioned may be changed or developed.

    DeepSeek-Prover-V2-671B

  • 数学证明
  • 定理验证
    1 replies
    coolfan
    coolfan
    Apr 30, 2025
    1
    做题家？
    About   ·   Help   ·   Advertise   ·   Blog   ·   API   ·   FAQ   ·   Privacy   ·   Solana   ·   4804 Online   Highest 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 38ms · UTC 09:19 · PVG 17:19 · LAX 01:19 · JFK 04:19
    ♥ Do have faith in what you're doing.