Empirical checks will trump reasoning reproduction in the AI era, and mathematicians may help

johnvmcdonnell · x · 2026-10-12

johnvmcdonnell argues AI outputs are far easier to verify empirically (e.g. clinical trials) than by analytically reproducing the reasoning in human-understandable form, so we'll rely on the former. He adds mathematicians' discomfort with accepting empirics at face value may be a real contribution going forward.

Original post →

More from AGI Musings

AGI Musings channel →