News for hackers. Stuff that matters.

A comment on Can AI do maths yet? Thoughts from a mathematician. Parent comment

Re:Can AI do maths yet? Thoughts from a mathematician by vouaobrasil on Tuesday December 24, 2024 @05:44AM (#42501076)
They will, when it becomes good enough to prove tricky things.
[ Parent | on HN ]
Re:Can AI do maths yet? Thoughts from a mathematician by raincole on Tuesday December 24, 2024 @11:00PM (#42506737)
The parent comment said:

> Now most will just use some AI.

I'm genuninely wondering whether it's true. The "now" and "most" part.

[ Parent | on HN ]