Find this depressing tbh. And ok, the public models can't write (good) philosophy papers on their own yet, but that's surely just a matter of time. Do we maintain phil/maths as distinctly human endeavors? Maybe that will work for a bit, but why keep it at it if the answer is right there?
OpenAI just blooped hundreds of proofs and counterexamples to open problems: github.com/openai/math/... Boggling.