NewsBytes

DeepSeek's AI model checks itself and cracks Olympiad-level math problems

Chinese startup DeepSeek has developed a new open-weight AI model, Math-V2, capable of generating and self-verifying complex mathematical theorems.

Nous Research just released Nomos 1, an open-source AI that ranks second on the notoriously brutal Putnam math exam

Nous Research's open-source Nomos 1 AI model scored 87/120 on the notoriously difficult Putnam math competition, ranking ...
OfficeChai

Google Introduces Titans Architecture To Give LLMs Long-Term Memory

Several experts have said that the lack of a long-term memory for LLMs — each interaction essentially starts from scratch — ...
VentureBeat

Mistral releases Codestral Mamba for faster, longer code generation

Want smarter insights in your inbox? Sign up for our weekly newsletters to get only what matters to enterprise AI, data, and security leaders. Subscribe Now The well-funded French AI startup Mistral, ...
University of Delaware

Graduate Student Mathematical Modeling Camp

The GSMM Camp is a weeklong workshop directed towards interdisciplinary problem solving whose aim is graduate student education and career development. The GSMM Camp is designed to promote a broad ...