Thread

1. glimshe · 1789681011 · focus · HN ↗

   How does AI's mathematical abilities affect the commercial future of software like Mathematica?

   1. anon48293 · 1789710391 · focus · HN ↗

      It will (hopefully) move towards things like Lean

Unofficial Hacker News client; not affiliated with Y Combinator.