Mark Zuckerberg during an interview at Meta headquarters in Menlo Park, California.. Photo: Getty Images Meta Platforms released the biggest version of its mostly free Llama 3 artificial intelligence ...

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 ...

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 If you haven’t heard of “Qwen2” it’s ...

OpenAI confirmed the existence of Astra, a smarter, unreleased model that's already achieving big results in the math world.

Researchers have introduced Light-R1-32B, a new open-source AI model optimized to solve advanced math problems. It is now available on Hugging Face under a permissive Apache 2.0 license — free for ...

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

A Google DeepMind researcher and OpenAI’s former CTO are posing questions about the validity of OpenAI’s claim about its gold-medal score. OpenAI’s latest model has achieved a gold-level score at the ...

The tipping point came in the summer of 2025. That July, several artificial intelligence models solved five out of six problems at the International Mathematical Olympiad, an annual challenge for some ...

You're currently following this author! Want to unfollow? Unsubscribe via the link in your email. Chinese AI lab DeepSeek recently released AI models that match or exceed some of Silicon Valley's top ...

According to OpenAI, o1 performs similarly to PhD students on challenging benchmark tasks in physics, chemistry, and biology, and even excels in math and coding. OpenAI said its project Strawberry has ...