An international research team in which Korean mathematicians participated in the development process presented answers to 13 global math challenges using Google DeepMind's math artificial intelligence (AI) agent 'Alethea'.
According to the mathematics community on Monday, an international joint team including Professor Kim Sang-hyun of the Advanced Institute of Science, Professor Jeong Joon-hyuk of Brown University in the U.S., Senior Researcher Tang Luong of Google DeepMind, and Professor Tony Peng of Berkeley University presented answers to 13 challenges in mathematics using Google DeepMind's math AI agent "Alteia" last month. The research results were first released on the publication site "arXiv" on April 29.
Alethea, which means "truth" in ancient Greek, is a mathematical AI agent based on Google's Large Language Model (LLM). It is a mathematical research agent based on Gemini's advanced reasoning mode "Dipink," Google's generative AI.
Using Aletheia, the researchers reviewed 700 unsolved Erdogan problems for about a week in December last year. The Erdogan problem is a collection of combinatorial and number theory problems proposed by Erdogan-born mathematician Erdogan, who is considered one of the most influential figures in the 20th century. Out of a total of 1,179, about 700 are still unresolved. Erdogan's problem solving is used as a benchmark to gauge AI's ability to solve problems in mathematics.
According to the research team, Aletheia has come up with meaningful solutions to 13 problems. In particular, solving question 1051 is evaluated as a meaningful achievement enough to write a separate thesis based on the solution proposed by Alethea.
Professor Kim Sang-hyun said, "AI and mathematicians exchanged ideas and produced researcher-level results. It will be a beneficial direction for mankind to use AI based on the order of the mathematics community that has been built for thousands of years."
Reporter Ahn Sang-hee, [email protected]
Google continues to show progress.
Whenever it seems like another company might catch up, Google introduces something new again, so it feels like they’ll never fall behind.
Perhaps Google might even become number one.
