DeepSeek upgrades its math-focused AI model Provertechcrunch.com3 points·nickthegreek··0 commentsOpen articleSaveView on HN