News for hackers. Stuff that matters.

A comment on AI solves IMO problems at silver medal level. Parent comment

Re:AI solves IMO problems at silver medal level by sdenton4 on Friday July 26, 2024 @12:19PM (#41079867)
Computers are good at arithmetic, not math...

There's definitely an aspect of this that is 'airplanes, not birds.' Just because the wings don't flap doesn't mean it can't fly, though.

[ Parent | on HN ]
Re:AI solves IMO problems at silver medal level by _heimdall on Friday July 26, 2024 @01:48PM (#41080625)
That's totally fair, though wouldn't the algorithm here have to reduce the math proofs to arithmetic that can be computed in silico?
[ Parent | on HN ]