Hacker News new | ask | show | jobs
by foota 22 days ago
They should feed it the classification of finite simple groups and get it to simplify it/turn it more constructive.