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

Deepseek 发布新模型

  •   
  •   johnsmith2077 · Apr 30, 2025 · 1971 views
    This topic created in 496 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   ·   5412 Online   Highest 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 23ms · UTC 06:56 · PVG 14:56 · LAX 23:56 · JFK 02:56
    ♥ Do have faith in what you're doing.