- OpenTools' Newsletter
- Posts
- 🥈AI Takes IMO Silver!
🥈AI Takes IMO Silver!
PLUS: OpenAI Announces SearchGPT
![](https://media.beehiiv.com/cdn-cgi/image/fit=scale-down,format=auto,onerror=redirect,quality=80/uploads/asset/file/8ac3e7de-6391-4d83-9a1c-3eb1b88a60f4/Logo_2.png)
Reading time: 5 minutes
Important: If this email landed in your 'Promotions' folder, please move it to your primary inbox to ensure you don’t miss any future updates.
Key Points
AlphaProof and an improved AlphaGeometry were tested together, solving four out of six IMO questions and earning a silver medal.
AlphaProof uses a trial-and-error approach called reinforcement learning, similar to Google DeepMind's AIs that excel at chess and Go.
☕News - An AI developed by Google DeepMind has won a silver medal at this year's International Mathematical Olympiad (IMO). This is the first time an AI has ever reached the podium in the competition, which is renowned for its challenging questions that usually require a level of mathematical skill beyond what AI systems can typically handle.
🤓For context - In January, Google DeepMind showcased AlphaGeometry, an AI that could solve some IMO geometry questions as well as humans, but it wasn't tested live and couldn't handle other math areas like number theory, algebra, and combinatorics, which are essential for winning an IMO medal. Recently, Google DeepMind introduced AlphaProof, a new AI that can solve a wider range of math problems, and an improved AlphaGeometry that can tackle more geometry questions.
When both systems were tested together on this year's IMO questions, they correctly answered four out of six, scoring 28 out of 42 points. This was enough to win a silver medal, just one point shy of the gold medal threshold.
🧮What makes them good at math? AlphaProof uses a trial-and-error approach called reinforcement learning, where the system finds its own way to solve a problem over many attempts. This is similar to Google DeepMind's AIs, which have achieved remarkable success in games like chess and Go. However, this method requires a large set of problems written in a language the AI can understand and verify. Since most IMO problems are written in English, the team, led by Thomas Hubert, used Google's Gemini AI chatbot to translate these problems into a programming language called Lean.
A point worth noting here is that despite its impressive performance, AlphaProof works slowly, taking up to three days for some solutions, compared to the 4.5 hours competitors have per three questions. It also couldn't solve both the combinatorics questions. Nonetheless, this achievement is a significant milestone.
Key Points
SearchGPT’s interface is similar to ChatGPT, featuring a large text box that asks, “What are you looking for?”
Instead of simply listing links, SearchGPT organizes and summarizes the information.
It also uses your location for certain searches, such as finding nearby restaurants or checking the weather.
SearchGPT is currently just a prototype. The service, powered by GPT-4, will only be available to 10,000 test users for now. The plan is to eventually integrate these search features directly into ChatGPT.
♨️News - OpenAI has announced its highly anticipated search engine, SearchGPT. It’s an AI-powered tool that gives real-time access to information from the web.
🧐What's it like? SearchGPT’s interface is similar to ChatGPT, featuring a large text box that asks, “What are you looking for?” Instead of simply listing links, SearchGPT organizes and summarizes the information. For instance, it can give an overview of music festivals with brief descriptions and links, or provide planting tips and details on different tomato varieties.
It also uses your location for certain searches, such as finding nearby restaurants or checking the weather. You can adjust this in the settings if you prefer to share more precise location information.
🔍What's more? SearchGPT is currently just a prototype. The service, powered by GPT-4, will only be available to 10,000 test users for now. The plan is to eventually integrate these search features directly into ChatGPT.
OpenAI is going for a more responsible and careful rollout with SearchGPT. In a blog post, the company explained that SearchGPT was developed with input from major news partners like The Wall Street Journal, The Associated Press, and Vox Media. It noted that publishers have control over how their content appears in SearchGPT and can opt out of having their content used for training the models while still being part of search results.
👨🏻💻In conclusion - Launching SearchGPT as a prototype has several advantages for OpenAI. If the results aren’t perfect, they can easily attribute any issues to it still being a prototype. Nevertheless, this move puts OpenAI in direct competition with Google, which is rapidly adding AI features to its search engine to stay ahead. Plus, it positions OpenAI directly against the startup Perplexity, which promotes itself as an AI “answer” engine.
🙆🏻♀️What else is happening?
👩🏼🚒Discover mind-blowing AI tools
OpenTools AI Tools Expert GPT - Find the perfect AI Tool to solve supercharge your workflow. This GPT is connected to our database, so you can ask in depth questions on any AI tool directly in ChatGPT (free w/ ChatGPT)
Textbuilder - A writing assistant that generates high-quality content for your blogs ($59 one-time payment)
Juno - Makes data science 10x better by writing, editing, and automatically debugging your code with you as you go (40 prompts free, then $4.99/month)
Wave.video - Live streaming studio, video editor, thumbnail maker, video hosting, video recording, and stock library combined in one platform ($24/month)
SaveDay - A Telegram bot that allows users to save, search and converse with various types of content, such as web pages, articles, PDFs, YouTube videos, and podcasts ($27.99/month)
Verbalate - A video translation and lip sync software designed to help businesses reach a global audience ($9/month)
SlangThesaurus - Allows you to effortlessly turn basic text into trendy internet slang, with customizable slang levels from 1 to 5 (Free) \
ChefGPT - An AI-powered recipe recommendation tool that suggests recipes based on the ingredients and tools you have (Free)
Prompt Storm - Google Chrome extension with pre-written prompts for ChatGPT, Gemini, Claude (Free)
![](https://media.beehiiv.com/cdn-cgi/image/fit=scale-down,format=auto,onerror=redirect,quality=80/uploads/asset/file/18dda003-9a8a-4f8a-b690-f92c4d68b48d/animated-thank-you-image-0091.gif)
How likely is it that you would recommend the OpenTools' newsletter to a friend or colleague? |