News for hackers. Stuff that matters.

A comment on 'A-Team' of Math Proves a Critical Link Between Addition and Sets. Parent comment

Re:'A-Team' of Math Proves a Critical Link Between Addition ... by auntienomen on Friday December 08, 2023 @04:56PM (#38575108)
What would be nice is an LLM to aid in translation between mathematics and a theorem proving language like Lean. That might fuel a revolution in how mathematics is done.
[ Parent | on HN ]

There are no comments on this comment yet.