|
|
|
|
|
|
by gaigalas
181 days ago
|
|
|
What I (personally) consider insightful is irrelevant. It's about what mathematicians consider insightful. Mathematicians are obviously not ignoring automated proofs. Terry's post is an evidence of that. Consider LK99 instead of crackpot P vs NP proofs. That wasted a lot of academia time. It seems that it could happen to math. |
|
|