Ai For Science

CERN and Mistral have signed a statement of intent to establish a long-term strategic partnership focused on developing foundation models for scientific discovery. The collaboration aims to combine CERN's expertise in fundamental physics with Mistral's large-scale AI models.

Research • Hacker News

Google DeepMind's AlphaProof Nexus solved dozens of open math problems, including nine Erdős problems, two of which were unsolved for 56 years, according to a study in Science. The publication comes as OpenAI faces a boycott for dumping AI proofs on GitHub without peer review.

Research • The Decoder