I struggle to believe that AI R&D is ingenious

Re:I struggle to believe that AI R&D is ingenious by seba_dos1 on Friday November 06, 2026 @03:26AM (#50389617)

A relentless low IQ person with broad knowledge and no need to sleep, I guess?

[ Parent | on HN ]

Re:I struggle to believe that AI R&D is ingenious by Ar-Curunir on Friday November 06, 2026 @03:40AM (#50389723)

[delayed]

[ Parent | on HN ]

Re:I struggle to believe that AI R&D is ingenious by LtWorf on Friday November 06, 2026 @04:07AM (#50389939)

You mean techniques like using the prompt of mathematicians in the training set and brute force a solution before they publish?

[ Parent | on HN ]

Re:I struggle to believe that AI R&D is ingenious by Ar-Curunir on Friday November 06, 2026 @03:18PM (#50397848)

[delayed]

[ Parent | on HN ]

Re:I struggle to believe that AI R&D is ingenious by jasomill on Friday November 06, 2026 @11:26PM (#50401604)

I'm more interested in the techniques used to generate these proofs, and how they can be improved to be as reliable at solving a broader class of problem than already formalized mathematical conjectures.

[ Parent | on HN ]