• 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

Brought to you by:

Top stories today:

  1. DeepMind's AlphaProof at silver medal level on Math Olympiad
  2. SearchGPT launched by OpenAI in private beta
  3. GDP +2.8% in Q2, ahead of 2.0% expected
  4. Elon to discuss $5B investment into xAI with Tesla’s board
  5. 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.”

  • 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.

4. GDP +2.8% in Q2, ahead of 2.0% expected

Subscribe to keep reading

This content is free, but you must be subscribed to Bay Area Times to continue reading.

Already a subscriber?Sign In.Not now