Post #1722094
2026-04-27 16:03 UTC
@tao@mathstodon.xyz
Is there way to identify LLM generated proofs and reject them, if multiple proofs have already been found unless it gives new valuable insights and there is human written explanation that shows deep understanding
Has "AI" helped with bridging different areas of mathematics or has it helped with simplification or at least making the mathematical terrain less dense
Replies (1)
-
@Mr0@privacysafe.social 2026-04-27 16:16
@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.