'A-Team' of Math Proves a Critical Link Between Addition and Sets

Re:'A-Team' of Math Proves a Critical Link Between Addition ... by generalizations on Friday December 08, 2023 @05:16PM (#38575358)

Wouldn't that be the point of pairing it with Lean? You wouldn't get false positives.

[ Parent | on HN ]

Re:'A-Team' of Math Proves a Critical Link Between Addition ... by Sharlin on Friday December 08, 2023 @05:48PM (#38575752)

Doesn’t mean you’d get true positives either. Garbage in, garbage out.

[ Parent | on HN ]

Re:'A-Team' of Math Proves a Critical Link Between Addition ... by akoboldfrying on Friday December 08, 2023 @09:22PM (#38577800)

IIUC, any sensible way of "pairing up" these things will mean that anything you get out will be true. But the search might take millennia, and the outcome might be nothing (equivalently, "the LLM's conjecture is false").

[ Parent | on HN ]

Re:'A-Team' of Math Proves a Critical Link Between Addition ... by hackerlight on Friday December 08, 2023 @09:43PM (#38577959)

This is equivalent to saying it's not going to work.

[ Parent | on HN ]