Keep on to blur preview images; turn off to show them clearly
I repeat that DeepSeek always announces its goals in Conclusion/Limitations/Future Work section. After Prover-V2, the goal was getting to IMO level. They got to IMO level with Math-V2. Next goal: research-level math.
We're in a race. It's not USA vs China but humans and AGIs vs ape power centralization. @deepseek_ai stan #1, 2023–Deep Time «C’est la guerre.» ®1
me, patiently awaiting apple to approve my 2 new products offerings so i can run a black friday sale for my new app that is currently going viral:
curious guy creating things @ https://t.co/HXWladhJaA - up and coming wife guy
RT @SamoBurja: Shameful day for the European Union: Censorship law. This will be abused and I'd argue it is intended to be abused, desig…
AI Optimist. Empiricist, not 'rationalist'. Anti world government.
RT @stalkermustang: The paper is interesting, but I struggled a little with the total reward formula. For anyone like me, here's an annotat…
We're in a race. It's not USA vs China but humans and AGIs vs ape power centralization. @deepseek_ai stan #1, 2023–Deep Time «C’est la guerre.» ®1
RT @highwayvaquero: I've been keeping a secret: you don't need to write tools for your agents in Ruby. CodeAct lets the LLM generate Ruby…
Asst professor @MIT EECS & CSAIL (@nlp_mit). Author of https://t.co/VgyLxl0oa1 and https://t.co/ZZaSzaRaZ7 (@DSPyOSS). Prev: CS PhD @StanfordNLP. Research @Databricks.
RT @Dorialexander: So DeepSeek-Math-V2. It could be subtitled: "how to train better verifiers?" and the bulk of it is simply… better data…
We're in a race. It's not USA vs China but humans and AGIs vs ape power centralization. @deepseek_ai stan #1, 2023–Deep Time «C’est la guerre.» ®1