logoalt Hacker News

fooker • yesterday at 10:24 PM • 2 replies • view on HN

No, pretty much every math PhD student and researcher is now using the AI+lean combo.


Replies

pfdietz • today at 12:31 AM

Which makes complaints by mathematicians about it absurd. They should just stop flapping their lips; there is no putting the genie back in the bottle.

geraneum • yesterday at 11:10 PM

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.