YHK - yet another hacker news clone

This goes in a necessary direction, from my personal take away of Gower's recent post on the subject.

Mathematics is suffering from Goodhart's Law:

"When a measure becomes a target, it ceases to be a good measure."

Jacob Tsimerman claims [1] we might have superhuman expositors by April, so then what?

[1] https://youtu.be/H7_d_sgui6o?t=4436 (timestamped url)

It starts to sound like medieval science - "understanding" instead of proofs. And like a medieval army loosing a battle in the open field tries to retreat back into the fortress, people, facing the prospects of machine doing intelligent tasks better than humans, start to retreat into areas like intuition which supposedly aren't reachable by the machine. Some go even further starting to talk about religion. It is very Hegelian that the crown jewel achievement of our civilization starts to drive people away from the foundational principles of that civilization.

While I understand and emphatically with Tao's concern I'm afraid it's missing the forest from the trees. Unless you can make a claim that AI will never be able to perform intellectually at the same level as any human at a much lower cost, there's an outstanding utility problem that remains unaddressed. Sure enough, the AI may not have taste or goals, or many human traits, but that's irrelevant to the much thornier (and much broader than mathematics or even academia) question related to who's getting paid how much and for what.

I enjoy learning math from LLM proofs with the help of LLMs https://github.com/htzh/flt_for_human . It is amazing how well models do when they are well grounded by formalized proof traces (even if created by other models).

I’m reminded of that famous debate between Poincaré and Hilbert at the International Congress of Mathematicians in Paris in 1900. It was then that everyone decided to follow Hilbert’s path, and proof came to be valued more than intuition. I think modern math at school and at applied university kind of lost this intuitive part. I try to teach my students that mathematics is, first and foremost, a very precise language of communication. It’s sometimes amusing to ask those who don’t like math to do without it entirely, just to see how much harder it becomes to describe the things around them. Second thing I tell them, formulas are the essence of mechanisms in their purest form. And in this form, they’re much easier to grasp and mentally manipulate. It always amused me, after taking a mechanics course, to imagine that for any formula, you could visualize a mechanism or process that implements it. And third thing, I suppose, the ability to verify one’s own statements as proof. Although, of course, mathematicians would probably tear me apart here for my heresy:sorry, I’m not a mathematician, but an engineer. You can make mistakes by using incorrect assumptions, but at some point, analysis itself will show you that you were mistaken. There’s a wonderful book, How to Prove It by Daniel Velleman, which provides an introduction to proof for the uninitiated like me. I really enjoyed it.

Even if we can proof/disproof any statement in Math (not possible due to halting problem), Human still need to decide which statement to be called "theorem".

The theorem thing is invented by human to help other people better understand Math structure in a easier way.

Interesting headline.

It's interesting because, as far as I'm aware, the vast majority of people already believe that math is more than proof. A slightly smaller but still very large majority don't even include proofs in their mental concept of what math involves.

Mr. Tao is an excellent politician. Lots of awards and texts, yet no major problem solved.

It seems now that NS is solved he is mobilizing the community to convince taxpayers continue to pay even though AI may do a better job in his work.

Also, his opinion of AI has continually changed in the past years, after the capabilities were demonstrated.

Math academia 2025

> Sorry, only epic problem solvers allowed here

Math academia 2026

> We were more than just problem solvers

I think people are overblowing this though. Wake me up when GPT-whatever writes gcc from scratch, then by the Curry-Howard I'd be impressed

One thing that concerns me from all this is "understanding" is very important to human progress. The fact it took 400 years to crack Fermat's theorem resulted in a lot of "Side Quests". These side quests helped grow other fields (for instance elliptical cryptography). Im concerned with AI that we will loose these side quests.

I can’t help but feel a little schadenfreude. STEM folks may soon find themselves masters of skills as esoteric as translating Ancient Greek poetry or analyzing 18th century novels. The ability to construct complex mathematical proofs will become a party trick, rather like the ability to mentally multiply 10 digit numbers. The arguments that STEM snobs dismissed in favor of the study of the humanities will be the very same arguments that they now turn to. We will hear about how math and science make you a better rounded person, have inherent as well as instrumental value, etc. etc.