Hacker News
new
past
comments
ask
show
jobs
points
by
geraneum
1 hours ago
|
comments
by
fooker
1 hours ago
|
[-]
No, pretty much every math PhD student and researcher is now using the AI+lean combo.
reply
by
geraneum
18 minutes ago
|
parent
|
[-]
So as every high schooler. That doesn’t mean much for actual results similar to what OpenAI “generated”, and doesn’t quite explain the “war footing”, does it?
We’ve yet to see the democratizing fantasies in math field to materialize.
reply