Post #1722093
2026-04-27 16:16 UTC
@tao@mathstodon.xyz
Also, how do you identify the "signal" from all the noise. By that I mean, how can you identify poofs with ideas that could generalize to other areas, it's an actual "breakthrough" proof over general LLM generated proofs. Before you could identify the "signal" since there wasn't that much "noise" but there is an abundance "noise" now.
Replies (1)
-
@Mr0@privacysafe.social 2026-04-27 16:33
@tao@mathstodon.xyz Also, is there system other than traditional route to be accredited. Is there exams or assessments that one could take in person and get a certification showing expertise so that when one finds a proof, it will be taken more seriously in addition to written the proof in LEAN or another proof assistant.