But what role does math play in solving complex problems such as curing a disease? In my job as an applied mathematician, I use mathematical tools to study and solve complex problems in biology.

FrontierMath, a new benchmark from Epoch AI, challenges advanced AI systems with complex math problems, revealing how far AI still has to go before achieving true human-level reasoning.

Solving problems in Euclidean geometry is one of four topics covered by IMO problems — the others cover the branches of number theory, algebra and combinatorics.

Solving problems in Euclidean geometry is one of the four topics covered in IMO problems — the others cover the branches of number theory, algebra and combinatorics.

Now for a compulsory reality check: AlphaProof and AlphaGeometry 2 can still only solve hard high-school-level problems. That’s a long way away from the extremely hard problems top human ...