News for hackers. Stuff that matters.

A comment on There's never been a better time to go into math (by: 3blue1brown) [video]. Parent comment

Re:There's never been a better time to go into math (by: 3bl... by StilesCrisis on Sunday October 18, 2026 @11:34PM (#50148083)
One real limitation is context size. 1M tokens is enough to do a lot, but the Lean graphs they are making are way too big to fit, so an LLM will never have the complete picture.
[ Parent | on HN ]
Re:There's never been a better time to go into math (by: 3bl... by v3ai on Monday October 19, 2026 @01:10AM (#50148593)
Would a human be able to see the entire picture?
[ Parent | on HN ]
Re:There's never been a better time to go into math (by: 3bl... by johnnyanmac on Monday October 19, 2026 @04:05AM (#50149641)
Nope. That's why a lot of knowledge comes down to compressing large concepts into chunks we can understand from new ideas and concepts. LLM's don't tend to be very good and synthesizing such concepts.
[ Parent | on HN ]
Re:There's never been a better time to go into math (by: 3bl... by StilesCrisis on Monday October 19, 2026 @07:35AM (#50151107)
No, and that's one of the reasons mathematicians dislike automated solutions. Sure, it's verifiable, but it's too complex and messy to actually learn anything useful. So it technically answers the question, but doesn't leave you with any deeper understanding.
[ Parent | on HN ]