@bdxsunnyboy
“This is a huge advancement in machine learning and AI. There has never been a system that could solve problems with such success,” said Pushmeet Kohli, vice president of AI for science at DeepMind.
Google solved the “hallucination” problem by translating mathematical problems into technical formulations, or “formal language.” AlphaProof’s code is constantly updated, allowing the AI to solve more complex equations.
AlphaGeometry 2 was able to solve 83% of all geometry problems included in the International Mathematical Olympiad over the past 25 years, the company noted. However, AI is far from replacing human mathematicians, Google researchers said.
0 reply
0 recast
0 reaction