They will, when it becomes good enough to prove tricky things. | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		vouaobrasil on Dec 24, 2024 \| parent \| context \| favorite \| on: Can AI do maths yet? Thoughts from a mathematician They will, when it becomes good enough to prove tricky things.

raincole on Dec 25, 2024 [–]

The parent comment said:

> Now most will just use some AI.

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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact