home.social

#deepseekproverv2 — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #deepseekproverv2, aggregated by home.social.

fetched live
  1. InfoQ @[email protected] ·

    Introducing #DeepSeekProverV2 - a new #opensource #LLM designed for formal theorem proving in Lean 4.

    The model builds on a recursive #TheoremProving pipeline powered by the company's DeepSeek-V3 foundation model.

    Learn more: bit.ly/3ZlTt7h

    #InfoQ #GenerativeAI

    #deepseekproverv2 #opensource #llm #theoremproving #infoq #generativeai
  2. Erik Jonker @[email protected] ·

    Deepseek Prover V2 , a model specialised in Math, is impressive, try it on Huggingface for free. I tried many hard SAT questions it solved flawlessly. Very impressive, that promises something for the to-be-released R2.
    huggingface.co/deepseek-ai/Dee
    #AI #math #DeepSeekProverV2

    I tested with these questions,
    blog.prepscholar.com/hardest-s

    #ai #math #deepseekproverv2