alt Hacker NewsWouldn't AI make the field of mathematics more ambitious? In software development it feels that way: there are often tasks I can take on that would have been too risky in 2025, because it was unclear if they were worth it. Now you generate a prototype and can make much better judgement calls what is possible and what is worth pursuing.
It might feel that way, but I'll ask again: where's the payoff? Where's all the amazing software that everyone is now supposedly shipping 10x faster than before?
If I look at the software I'm actually using day-to-day, or that my friends are using, all this stuff looks exactly the same as it did in 2021. Not a single product release from Google, Microsoft, or more scrappy companies in the past 6 months made me go "wow, they couldn't have pulled that off before". All the vibecoded "Show HN" projects seem to be half-broken and then abandoned before being finished.
It feels like we've gotten less ambitious, not more. Because yes, you can prototype more easily, but this means less commitment to what we create.
Mathematics is probably the same way. There's a short-term rush when you pull the lever, but there's less desire to get invested in what comes out.