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 ...
Geeky Gadgets

New Alibaba Qwen 2.5 AI Models Outperform Llama 3.1 405B

Alibaba has unveiled the Qwen-2.5 series, a groundbreaking collection of 13 advanced AI models designed to tackle a wide range of applications, including mathematics, coding, and general-purpose tasks ...
SiliconANGLE

Google DeepMind unveils AI models for solving advanced mathematical problems

Google DeepMind, Google LLC’s artificial intelligence research unit, today unveiled two new AI models that are capable of advanced mathematical reasoning for solving complex math problems, which ...
Hackaday

Where Is Mathematics Going? Large Language Models And Lean Proof Assistant

If you’re a hacker you may well have a passing interest in math, and if you have an interest in math you might like to hear about the direction of mathematical research. In a talk on this topic [Kevin ...