Large language models have a tendency to hallucinate, or deliver incorrect information in convincing fashion. Google said it sidestepped that challenge by using its AI to translate math problems into technical statements, or what it called ‘formal language’. — The New York Times
Google DeepMind, Alphabet Inc’s artificial intelligence research division, said it has made strides in solving complex math problems, an area that remains challenging for today’s AI programs.
On Thursday, Google rolled out AlphaProof, which specialises in math reasoning, and AlphaGeometry 2, an updated version of a model focused on geometry that the company debuted earlier this year. The programs aced four of the six problems featured in the International Mathematical Olympiad, an annual competition in which students tackle topics such as algebra and geometry, Google said in a blog post.
