Unveiling a Game-Changer: Mistral AI Launches Advanced Mathematical Model Capable of Solving Complex Mathematical Puzzles

AIbase

Published inAI News · 4 min read · Jul 17, 2024

The team at Mistral AI has once again made a significant announcement quietly. Recently, they released a mathematical model named MathΣtral, which is not only a tribute to Archimedes' 2311st anniversary but also a major breakthrough in the fields of mathematical reasoning and scientific discovery.

MathΣtral is a 7B model specifically designed for mathematical reasoning and scientific discovery, featuring a 32k context window, meaning it can handle longer and more complex mathematical problems. Released under the Apache 2.0 license, it provides great convenience for the academic community and developers.

Mistral AI has contributed MathΣtral to the scientific community, aiming to enhance research on advanced mathematical problems that require complex, multi-step logical reasoning. The model's expertise in the STEM field has achieved advanced reasoning capabilities in various industry-standard benchmark tests. Notably, it scored 56.6% on the MATH benchmark and 63.47% on the MMLU benchmark.

What stands out most about MathΣtral is its reasoning capability. This model demonstrates that significantly better results can be achieved through extended reasoning time calculations. On the MATH benchmark, MathΣtral 7B scored as high as 68.37% through majority voting, and with a robust reward model among 64 candidates, it achieved an impressive 74.59%.

This move by the Mistral AI team is part of the company's broader efforts to support academic projects. The release of MathΣtral was developed in collaboration with Project Numina, reflecting Mistral AI's commitment to academic research.

MathΣtral is a guided model that can be used or fine-tuned according to Mistral AI's documentation. The model weights are hosted on HuggingFace, and now users can try MathΣtral using misstral-inference and adapt it for specific needs with misstral-finetune.

Mistral AI's MathΣtral model represents not only a technological leap but also a profound contribution to the fields of mathematics and science. As AI technology continues to evolve, we have reason to believe that MathΣtral will bring more possibilities and breakthroughs to mathematical reasoning and scientific discovery.

Official website: https://mistral.ai/news/mathstral/

Japanese Supermarkets Use AI to Monitor Employees' Smiles, Netizens Say It's Unnecessary

In today's pursuit of efficient and humanized management, Aeon, a large Japanese supermarket chain, has sparked widespread controversy by using AI technology to monitor employee smiles.On July 16, Yahoo Japan reported that Aeon has rolled out an AI system called "Smile-Kun" in 240 stores since July 1. This system analyzes employees' smiles and volume, providing real-time feedback to enhance customer service skills.The Smile-Kun system requires employees to greet it daily, then scores them based

Musk's xAI to Launch Grok 2 Next Month, Grok 3 Expected in December

Elon Musk recently announced in an interview with psychologist and author Jordan Peterson that xAI will release its latest artificial intelligence model, Grok2, next month.Musk stated that Grok2's performance is expected to be on par with GPT-4, having been trained on approximately 15,000 H100 GPUs. Meanwhile, the release of Grok3 is scheduled for December, which Musk claims will be the most powerful AI model.During the interview, Musk further revealed that Grok3 is currently being trained at th

Xiaohongshu Launches First 'AI Convenience Store' to Support Quality AI Notes with Traffic Boosts of 30,000 to 500,000

Recently, Xiaohongshu officially announced the launch of an intriguing tech account named "TechPotato," introducing its entrepreneurial project: the world's first AI-powered convenience store.According to official information, the "AI Convenience Store" is a collaboration between TechPotato and top authors across the web, along with renowned tech companies, to curate the most authentic and visually appealing AI-related content, which is then offered as "limited edition products" for continuous o

Microsoft Research Introduces AI Framework E5-V: Simplifying Multimodal Learning with Text Pair Unimodal Training to Reduce Costs

Recently, a research team from Microsoft Research and Beihang University has jointly introduced a novel framework called E5-V, aimed at providing a more efficient solution for multi-modal embeddings. With the continuous advancement of artificial intelligence, multi-modal large language models (MLLMs) have become a focal point of research, as they are capable of understanding both textual and visual information simultaneously, thereby better handling complex data relationships. However, effective