Alphabet Inc.’s Google DeepMind unit today detailed AlphaEvolve, an artificial intelligence agent that can tackle complex programming and math challenges. The company says that it has used AlphaEvolve ...
In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in ...
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 ...
Microsoft found that small language models can exceed the performance of much larger ones when trained to specialize in a single area. Researchers fine-tuned the Mistral 7B model to create Orca-Math, ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results