← Back to context

Comment by num42

11 hours ago

>Maybe mathematics just becomes a little more like other fields--relying on labs with lots of money for compute, digging through a corpus of AI-generated proofs, etc.

Dr. Tao said the same thing. Somehow, this letter came through. He wants to conduct Math competitions where participants who don’t have formal credentials can contribute to mathematical research through AI.

Title: Terence Tao - SAIR Competitions and the Future of Experimental Mathematics

https://www.youtube.com/watch?v=rB9YOi3lb7w

and this:

Daniel Litt - Working with LLMs to do high quality math

https://www.youtube.com/watch?v=0wL8NlhxXcU

23 comments

num42

Reply
318274  10 hours ago

So he got exuberant because he is funded by SAIR and the "AI for math" fund.

And embarrassingly they used him for a "coal miners should learn math" moment that just benefits the AI industry.

He has severely reversed course in the past week. Without concrete propositions it remains to be seen how much of the new resistance is for show.

SavageNoble  9 hours ago

I have zero formal math training beyond my Grade 12 Pre-Calculus class. Yet with an LLM I have recently devised an architecture with incredible math potential. Math is a language like any other, and without LLM's I never would have developed the techniques that I have.

AI is a tool. It speaks languages I don't (Math, Science, Code). I would love to participate in a Math competition without a hint of any formal advanced math training because my experience so far tells me I will do well.

  • boorang  8 minutes ago

    I am curious if we will reach a point where people who are skilled at context engineering/architecture eventually are hired to do jobs completely out of their fields. I think the best pairing would be domain experts + software architects teaming up on AI work in their respective domains.

  • breezybottom  5 hours ago

    How could you possibly know if it has potential or not? Sounds like AI psychosis setting in.

    • SavageNoble  4 hours ago

      Because every test I run with it is telling me so? The great thing about math is it can be externally validated.