AI solves 20 year old conjecture in graph theorytwitter.com15 points·by never_giveup·il y a 5 jours·4 comments
never_giveup·il y a 6 mois·discussif my understanding is correct, @steipete is using exclusively coding agents, and imo he does a good job (see clawd) https://steipete.me/posts/2025/shipping-at-inference-speed
never_giveup·il y a 7 mois·discussYes please, this is a great idea. I feel like the key is to promote it among non-builders.