AlphaGeometr was able to solve 25 of them. That is far better than the previous best method, which was only able to solve 10 problems.
At the moment, the system can only be used on specific kinds of geometry. But it could eventually be used in different branches of mathematics, the researchers say.
[
add
]
[
|
|
...
]