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

Deepseek 发布新模型

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

    DeepSeek-Prover-V2-671B

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