Re:“Math 2.0” will need to value mathematical progress more ...
by vonneumannstan on Thursday October 08, 2026 @11:57AM
(#50007435)
What you have to believe is that somehow the entire field of math was just leaving open problems on the ground that were actually easily solvable and were essentially free Fields Prizes, tickets to a lifetime of Fame and Academic superstardom. Orr LLMs are actually doing something novel.
[ Parent
| on HN ]
Re:“Math 2.0” will need to value mathematical progress more ...
by kbelder on Thursday October 08, 2026 @03:50PM
(#50011110)
Maybe some of them are like finding the 1 millionth digit of pi. Not hard, but impossible without the right technological advancement.
Now that we have LLMs, those that are hard for people but easy for LLMs will get cleared out, leaving those that are still hard for both.
Re:“Math 2.0” will need to value mathematical progress more ...
by vonneumannstan on Thursday October 08, 2026 @04:05PM
(#50011336)
>Maybe some of them are like finding the 1 millionth digit of pi.
Yes some of them were clearly like that but there are probably 5-10 which many mathematicians have said were massive results and would all but guarantee a Fields Medal to any human that had solved them. Navier Stokes, Quasi Riemann, etc.