Hacker News new | ask | show | jobs
by ackfoobar 889 days ago
Euclidean geometry is decidable. Does that make it easier for computers, compared to other IMO problems?