Claude's Cycles [pdf]kept by eddie • mar 04Donald Knuth publishes a paper showing Claude helped him find and prove a solution to a combinatorial problem, though even-case solutions remain open.AboutAnthropic · Donald Knuth · ClaudeFiled#ai-coding#human-ai-collaboration#mathematical-proof#research#technical-papersRelatedAI is doing something weird to ScienceScientific discovery emerges from a loop of human question-posing, LLM proposal, external verification, and human curation, not from AI alone.also on Donald KnuthRob Pike’s Rules of Programming (1989)Rob Pike's 1989 programming rules emphasize data structures over algorithms and caution against premature optimization, with commenters debating the misattribution and real-world impact of the 'premature optimization' quote.also on Donald Knuth
Claude's Cycles [pdf]