3 ms·
Well I am studying mathematics, and I use the LLM to help me learn. They aren't terrible, and they have all of arXiv to train on. Terrence Tao is doing some c
by lanstin 2y ago
Well I am studying mathematics, and I use the LLM to help me learn.
They aren't terrible, and they have all of arXiv to train on. Terrence Tao is doing some cool stuff with it - the idea will be an LLM to generate Lean proofs.
https://mathstodon.xyz/@tao/113132502735585408 https://mathstodon.xyz/@tao/113132502735585408
https://terrytao.wordpress.com/2024/12/05/ai-for-math-fund/ https://terrytao.wordpress.com/2024/12/05/ai-for-math-fund/
(Professor Tao is probably the best or at least most productive in the most fields current mathematician).
- lanstin 2y agoAnd I can assure you when I start to talk about these topics with the average human person that doesn't know the material, they just laugh at me. Even my wife who has a PhD in physics. Here's some cool math I learned from a regular book, not an LLM: https://en.wikipedia.org/wiki/Khinchin%27s_constant https://en.wikipedia.org/wiki/Khinchin%27s_constant