News for hackers. Stuff that matters.
Re:GPT-5.2 by yovaer on Thursday December 11, 2025 @07:50PM (#46239562)
> but in actuality there are a relatively small, enumerable number of techniques that are used repeatedly on virtually all problems

IMO/AIME problems perhaps, but surely that's too narrow a view for all of mathematics. If solving conjectures were simply a matter of trying a standard range of techniques enough times, then there would be a lot fewer open problems around than what's the case.

There are no comments on this comment yet.