logoalt Hacker News

chorizotoday at 12:51 AM0 repliesview on HN

These open problem solutions often reveal tighter bounds on prior conjectures. Even if the solutions produced are far from elegant and only machine verifiable, we do learn new information. But I agree that just like writing prose and code, brainstorming frontier math proofs is a perishable skill