logoalt Hacker News

zozbot234today at 10:04 AM2 repliesview on HN

> People often hate math because it was not explained to them correctly

Spoiler: this is also why mathematicians hate vibe-math. AIs are outright terrible explainers even when they do have a watertight logical argument—and honestly, this is the load-bearing seam.

It goes beyond "proof vs. exposition": the logical derivations AI comes up with fail to even qualify as human-directed proof because of how terrible they are (far below even the most novice mathematician doing their roughest work) at the exposition part.


Replies

Marha01today at 10:32 AM

> AIs are outright terrible explainers even when they do have a watertight logical argument

I think this only applies to cutting edge mathematics (novel proofs of hard problems). I have seen it reported more than once that such AI proofs are cumbersome to follow.

But in my experience, when it comes to explaining well-established math that is already in the training data, AIs can be very good teachers (at least with recent models). Especially if you use it along with a textbook and ask it about anything that might not be explained well in the textbook.

ogogmadtoday at 11:00 AM

> AIs are outright terrible explainers

Gemini's explanations are very good.