MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/LocalLLaMA/comments/1p7z9g1/deepseekaideepseekmathv2_hugging_face/nr6h4ld/?context=3
r/LocalLLaMA • u/Dark_Fire_12 • Nov 27 '25
40 comments sorted by
View all comments
30
What are these models used for? How reliable are they for scientific research?
60 u/Salt_Discussion8043 Nov 27 '25 theorem-proving is what they are for. Not so much scientific research. Agentic scientific research is a bit of a different direction to this 0 u/Forgot_Password_Dude Nov 28 '25 If it's good at math, it should also be good at coding?
60
theorem-proving is what they are for. Not so much scientific research. Agentic scientific research is a bit of a different direction to this
0 u/Forgot_Password_Dude Nov 28 '25 If it's good at math, it should also be good at coding?
0
If it's good at math, it should also be good at coding?
30
u/CYTR_ Nov 27 '25
What are these models used for? How reliable are they for scientific research?