36 points by lo0dot0 2 days ago | 10 comments
- [delayed]
- ChatGPT and family has been effective for me, even to connect equations I’m familiar with to areas I hadn’t encountered before.
- +1 to wolfram alpha. But just like Chegg, I thought wolfram alpha would be harshly affected by the AI disruption.
I used it a lot in college but never since. Are current college folks still using it?
- The encyclopedia of integer sequences can be quite useful: https://oeis.org/
- Slightly related: https://oeis.org
- If the formula generates an integer sequence, then searching that sequence on OEIS should give a lot of good information.
- Wolfram Alpha
- Claude
- [dead]
- Lean also has https://www.leanexplore.com and https://loogle.lean-lang.org/