It would be nice to have more mathematicians, but we don't need more. Once AI math goes so far beyond human abilities, any human involvement is like an ant trying to understand quantum physics
atleastoptimal · · focus · HN ↗
[deleted] · · focus · HN ↗
[deleted]