- Bay Area Times
- Posts
- DeepMind's AlphaProof reaches silver-medal level on International Math Olympiad problems
DeepMind's AlphaProof reaches silver-medal level on International Math Olympiad problems
Bay Area Times
July 26, 2024
Brought to you by:
Top stories today:
- DeepMind's AlphaProof at silver medal level on Math Olympiad
- SearchGPT launched by OpenAI in private beta
- GDP +2.8% in Q2, ahead of 2.0% expected
- Elon to discuss $5B investment into xAI with Tesla’s board
- Vivo expands lead as #1 in smartphone sales in China in Q2
0. Data and calendar
All values as of 6 AM ET / 3 AM PT, other than S&P500 and NASDAQ close (4 PM ET / 1 PM PT).
All times are ET.
1. DeepMind's AlphaProof reaches silver-medal level on International Math Olympiad problems
Its score on the IMO 2024 problems:
It still requires human help to convert the written problems into the formal language Lean.
AlphaProof is a mix of a “pre-trained language model with the AlphaZero reinforcement learning algorithm.”
A step in the direction of AI actually solving unsolved problems, be it in mathematics (AlphaProof), physics (TBD), and biology (AlphaFold today solving protein folding, and future versions inventing new cures).
2. SearchGPT launched by OpenAI in private beta
Screenshot of a SearchGPT search for “music festivals in Boone North Carolina in August.”
Only 10K users have access to it.
Integration with ChatGPT is the longer-term goal.
Hallucinations are very much prevalent in SearchGPT.
Announced 1 day after OpenAI partner Microsoft updated its Bing search engine to make it more AI focused.
They source the best talent from LATAM and South Africa.
Native or fluent English.
Similar time zones.
1/3 to 1/2 the cost of U.S./European talent.
It's what the Bay Area Times uses to hire our team!
$1,000 discount for BAT readers.
*Disclaimer: Athyna is a partner of the Bay Area Times.
