Post #4096299

There's that recent post about a math professor prompting his way to victory on an unsolved math problem. I've seen some people conclude that it means "math is dead", but like: - The prompt was like 14 or so pages, written by a literal math professor - The solution was proven using Lean - The solution was manually verified by the professor - The final paper was written by that same professor Idk, but to me that sounds more like guided fuzzing + constraint solving than "math is dead".