The Advisory Group on Mathematics and Artificial Intelligence
Thread
Unofficial Hacker News client; not affiliated with Y Combinator.
The Advisory Group on Mathematics and Artificial Intelligence
Unofficial Hacker News client; not affiliated with Y Combinator.
auggierose · · focus · HN ↗
The only thing I want to see is the problem statements, solutions, and associated Lean proofs. Anything else is gatekeeping. What a low point for academia.
SpicyLemonZest · · focus · HN ↗
Or are you perhaps sublimating your own AI anxiety into confrontational assertions that other people who discuss AI aren't as AI-pilled as you?
auggierose · · focus · HN ↗
qnleigh · · focus · HN ↗