- Superhuman AI
- Posts
- 𧎠AI takes on world's best math students
𧎠AI takes on world's best math students
ALSO: OpenAI is building a GPT-powered browser
![](https://media.beehiiv.com/cdn-cgi/image/fit=scale-down,format=auto,onerror=redirect,quality=80/uploads/asset/file/d3361693-2506-48ba-bf99-96eb84dc09f1/Group_71__2___1_.png?t=1705926856)
Read time: under 4 minutes
Welcome back, Superhuman
Math prodigies, your reign of supremacy is under threat â and the challenger doesn't even need to sharpen its pencil. Find out why DeepMindâs new model is putting graphing calculators to shame.
Todayâs Insights
AlphaProof earns silver medal at prestigious math competition
What makes Mistralâs Large 2 LLM unique
Everything else you should know today
5 new AI tools to boost your productivity
AI-Generated Images: Inflatable Paris
NEXT IN AI
DeepMindâs new model solves Olympiad-level math problems
![](https://media.beehiiv.com/cdn-cgi/image/fit=scale-down,format=auto,onerror=redirect,quality=80/uploads/asset/file/570bd8f0-ea8f-4868-aa65-7f20794cc07f/superhumanaiteam_Collage_in_the_style_of_an_illustration_solv_5054b793-a3be-4c94-bb6a-f3af1f345dde_3.jpg?t=1721932793)
AI has already conquered top-rated chess, shogi, and Go players. Now, itâs coming for the worldâs best mathletes. DeepMind announced its AlphaProof model was able to solve four out of six of this yearâs International Math Olympiad problems.
Each year, countries send a team of representatives to compete in the IMO â considered one of the worldâs most prestigious mathematics competitions. If DeepMindâs model had been a real-life participant this year, it would have walked away with a silver medal.
Why itâs important: The IMO problems require not only a mastery of different theorems and principles but also a high level of creativity and unconventional thinking. AlphaProofâs accomplishment proves that AI is getting better at not simply mimicking its training data but actively applying it to solve complicated logic puzzles.
Hereâs how it works:
Most LLMs find patterns in their training data in order to generate new content
AlphaProof works differently: When presented with a problem, it generates multiple answers, then works backward to try to test their accuracy
Most of the potential solutions will fail, but one will inevitably turn out to be correct
The model got a boost from AlphaGeometry 2, an LLM that specializes in shapes
Room for Improvement: âItâs not perfect, we didnât solve everything,â DeepMind VP of Research Pushmeet Kohli admitted in an interview with the New York Times. For instance, the model was stumped by a pair of questions related to combinatorics â the study of counting and arranging objects.
Speed wasnât exactly its strong suit either. While the students had four-and-a-half hours to solve each problem, it took AlphaProof three days to work through one particularly challenging calculation.
Still, mathematicians are shocked: AlphaProof was able to solve this yearâs hardest problem â something that only five out of 609 contestants achieved. The tool could one day be used as a lab assistant to help mathematicians try out unusual hypotheses. And just as important, the new capabilities take us one step closer to AGI, the theorized point when AI surpasses human intelligence.
AI AT WORK, PRESENTED BY GUIDDE
How to make training videos in 5 minutes with AI
Need to onboard new hires, provide job training, or teach customers how to use a product?
Use AI to create instant informational videos and share them anywhere. It saves a ton of time and requires no design skills:
Download Guidde, an AI-powered tool that records you doing a task and automatically creates a video with instructions
Click the Guidde browser icon, and complete the task you need a guide for. Then click again to stop recording
Visit the website to find the recording, along with captions and instructions automatically added
Make any tweaks, or choose from over 100 voices and languages
Share or embed it instantly, everywhere your team or customers are!
(You can even track views, add brand logos, and update guides over time to stay relevant.)
Create your first video in minutes. (No payment needed.)
AI & RIVALRIES
Mistral reignites this weekâs LLM rivalry with Large 2
![](https://media.beehiiv.com/cdn-cgi/image/fit=scale-down,format=auto,onerror=redirect,quality=80/uploads/asset/file/14bbae2c-6736-4d73-a7a8-f4c083cc1317/mistral-large-2407-code-generation-2.jpg?t=1721932849)
Source: Mistral
They say good things come in threes, and Mistralâs here to prove it. The Olympic Games apparently didnât stop the Paris-based startup from releasing the next generation of its flagship model, Large 2. That announcement came just a day after Meta unveiled Llama 3.1 â and a week after OpenAI showed off GPT-4o Mini.
So what sets Mistralâs model apart? Large 2âs unique selling point is its ratio between size and performance. At 123 billion parameters, itâs making the case that bigger isnât always better. Llama 3.1 405B is more than three times larger, but both models perform similarly on coding and math benchmarks. When it comes to reasoning, meanwhile, Large 2 is said to be competitive with leading models like GPT-4o and Anthropicâs Claude 3.5.
What else? Europeâs best-funded AI startup is also leaning into its modelâs language skills. Large 2 is natively fluent in at least five languages and just got support for dozens more, including Arabic, Hindi, and Japanese.
And in the debate over whether models should be closed or open source, Mistral is carving out a distinctive niche: Researchers and scientific nonprofits can access Large 2 at no cost, while for-profit companies will have to pay for it. That might be a winning strategy, especially as AI startups struggle to strike a balance between serving the public and turning a profit.
Users can now try Large 2 for themselves by logging in to Mistralâs ChatGPT rival, Le Chat.
PRESENTED BY PIPEDRIVE
This AI writes sales emails for you (and they work)
Pipedrive AI helps 100k+ sales teams save time and boost win rates phasing out manual processes, identifying patterns, and recommending high-potential deals and priority actions.
Draft quick, compelling, and personalized emails from simple prompts in just a click.
Summarize threads with Al to save valuable time.
Get a 30-day free trial (no credit card required) + take 20% off your first year. Start here.
AI & TECH NEWS
Everything else you need to know today
![](https://media.beehiiv.com/cdn-cgi/image/fit=scale-down,format=auto,onerror=redirect,quality=80/uploads/asset/file/31664f9a-e139-4452-b097-6164130f935d/Screenshot_2024-07-25_at_2.57.38_PM.jpg?t=1721933875)
Source: OpenAI
Search Showdown: After months of speculation, OpenAI announced its testing out an AI-powered search feature called SearchGPT â a move that likely has Alphabet and Perplexity sweating.
No Results Found: Browsers like Bing and DuckDuckGo will no longer be able to surface new Reddit posts due to the siteâs exclusive AI partnership with Google.
Front and Center: Microsoftâs Bing is getting a redesign that makes its AI-generated answers more prominent, while placing traditional search results in the margins of the screen.
Silicon Tumble: The stock market had its worst day since 2022 Wednesday as some traders lost confidence that prominent AI companies would be able to turn their investments into revenue.
Maps Migrates: After more than 10 years as an iPhone app, Apple Maps can finally be accessed via a website on computer browsers.
đ One Fun Thing: In 2021, Dutch artist Ard Gelinck edited photos of different celebrities so that it looked like they were sitting next to their younger selves. Last week, he took it to the next level by using Kling AI to turn those images into videos. The results left some viewers bewildered. âAI is fun but also really, really crazy and scary and also moving,â Gelinck said of his creation.
đ§ Brain Food: A groundbreaking study from researchers at the University of Cambridge found that feeding LLMs too much AI-generated content can lead to âmodel collapse,â when a model starts spewing gibberish. The results show that synthetic data alone likely isnât enough to train todayâs LLMs.
PRODUCTIVITY
5 AI Tools to Supercharge Your Productivity
â Hemingway Editor Plus: Fix wordy sentences, grammar issues, and more with the help of AI.
â FlexClip: Use AI to create clips smarter and faster â now with a background noise removal feature.
â Lately*: The worldâs first Deep Social platform powered by Neuroscience-Driven AIâ˘. Elevate your content from meh to WOW - faster than you can grab a coffee â
â Tern: Input your travel preferences, then receive a custom itinerary thatâs perfectly suited to your tastes.
â Airtable Cobuilder: Instantly create an app that connects and streamlines your most critical data.
PS: Want more? Check out our Top 100 AI Tools.
* indicates a promoted tool, if any
PROMPT OF THE DAY
Friday Funday - Pair it up
Prompt: What would be a good [beverage] to drink with [meal]?
Examples:
- What would be a good bottle of wine to serve with a rotisserie chicken dinner?
- What would be a good mocktail to drink with a crab cake?
AI-GENERATED IMAGES
Inflatable Paris
![](https://media.beehiiv.com/cdn-cgi/image/fit=scale-down,format=auto,onerror=redirect,quality=80/uploads/asset/file/aaeef2ca-1f95-4972-9d53-4be19b64bc12/Frame_365.jpg?t=1721929803)
Source: @gengzibo123 on Midjourney
Midjourney Prompt: drone shot, Transparent inflatable tubes form [insert monument here, like Arc de Triomphe or Eiffel Tower], The scene exudes a surreal, whimsical vibe, purple tone blue sky with no cloud, surrealistic aesthetic, An Unreal Engine rendering in a cinematic style, purple tones, enormous tower, minimalistic aesthetic, best quality
--ar 3:4 --iw 0.5
Acquire new customers and drive revenue by partnering with us
Superhuman is the worldâs biggest AI newsletter for businesses and professionals with 600,000+ readers working at the worldâs leading startups and enterprises. Companies like Amazon, Hubspot, and Salesforce feature their products in Superhuman. You can learn more about partnering with us here.