Post

Terry Tao @teorth.bsky.social: Indiscriminate brute-force application of AI to mathematics is depleting the field of good questions without renewing this resource or providing commensurate value. OpenAI: We hear you. Here's a .zip file with 377 hasty AI solutions to important open problems.

nytimes.comOpenAI Releases Findings on 377 Math Problems, Further Roiling Field (Gift Article)After a previous solution angered mathematicians, the company characterized the new release as being more responsive to concerns about A.I. disrupting research.

the ceph account

@ceph3.us

I'm not a mathematician, but I was of the understanding that the value in proofs is more what we learn about problems and novel tools we can apply to other problems moreso than the proving in most cases

7/10/26, 3:06 am2 reposts21 likes

Jeff

@jeffinblue.bsky.social

It's kind of like being told that the meaning of life is 42

Mike BOO-rnandez

@burnorbrah.bsky.social

Probably true. Kind of like the value of learning math isn’t to get the right answer but to learn the skill of solving problems.