Some users are excited about AI advancing from AIME problems to solving 80-year-old geometry conjectures, while others dismiss the claims as overstated or concerning since they involve only a single problem rather than broader theory.
3 comments with sentiment.