Hacker News new | ask | show | jobs
by Philpax 456 days ago
Luckily, we have ways of verifying mathematical results, and using that to improve our AI systems: https://deepmind.google/discover/blog/ai-solves-imo-problems...