Set to be revolutionized by AI because AI can’t do math.
Says my brother, a Math Professor that works with people trying to develop AI
AI is math, statistics specifically.
deleted by creator
It can do statistics and probability incredibly well. Chatbots are gross waste of that capability but it’s proving to be quite capable in areas where lots of brute force computation was required before (like in biotech).
This might be a worthy application.
The absence of coincidence
Look up the strong law of small numbers.
Also, one of their examples of AI was an exhaustive search.
The article isn’t about automatic proofs, but it’d be interesting to see a LLM that can write formal proofs in Coq/Lean/whatever and call external computer algebra systems like SageMath or Mathematica.
No
Are you saying “No… let’s not advance mathematics”? Or… “No, let’s not advance mathematics using AI”?
I was saying boourns
Yes
No
Ok