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 poincaredisk on Thursday July 25, 2024 @12:18PM (#41070433)
Still waiting for the first one. I'm not holding my breath - just like fuzzing found a lot of vulnerabilities in low-level software, I expect novel automated analysis approaches will yield some vulnerabilities - but that won't be a catastrophic event just like fuzzing wasn't.
[ Parent | on HN ]
Re:AI solves IMO problems at silver medal level by criddell on Thursday July 25, 2024 @01:39PM (#41071269)
It's rumored that the NSA has 600 mathematicians working for them. If they are the ones finding the exploits you will probably never hear about them until they are independently discovered by someone who can publish.
[ Parent | on HN ]
Re:AI solves IMO problems at silver medal level by throwaway240403 on Thursday July 25, 2024 @01:26PM (#41071157)
Hope that's true. Really mucks up the world a bit if not.
[ Parent | on HN ]
Re:AI solves IMO problems at silver medal level by sqeaky on Thursday July 25, 2024 @12:29PM (#41070543)
I hope it doesn't find a new class of bug. Find another thing like Spectre could be problematic.

EDIT - I hope if that new class of bug exists that it is found. I hope that new class of bug doesn't exist.

[ Parent | on HN ]
Re:AI solves IMO problems at silver medal level by ComplexSystems on Thursday July 25, 2024 @05:07PM (#41073398)
Why don't you think that AI models will, perhaps rather soon, surpass human capabilities in finding security vulnerabilities? Because an AI that's even equally competent would be a fairly catastrophic event.
[ Parent | on HN ]