John D. Cook, a mathematician and blogger, tested Anthropic's Claude AI's ability to generate ASCII diagrams, finding that the first attempt to reproduce a graph from his post on the graph imbalance t…
Levent Alpöge and colleagues used Claude AI to discover a new Hadamard matrix, prompting a series of posts by John D. Cook on Hadamard matrices and their applications, including NASA's use of a Hadama…
John D. Cook published a blog post on September 23, 2022, detailing regular expressions for matching HCPCS (Healthcare Common Procedure Coding System) Level II codes, which follow the format of one le…
A blog post by John D. Cook connects central Delannoy numbers, which count king moves on a chessboard, to DNA sequence alignment. The Delannoy numbers D(m,n) represent the number of possible alignment…
A user tested Claude's ability to generate Lean 4 code to formalize a ring theorem, achieving a proof after 11 iterations but with five unproven 'sorry' sections. The experiment highlights challenges …
John D. Cook used Anthropic's Claude (Sonnet 4.6 Medium) to find a typo in a blog post about quaternion rotations by asking it to write Lean code verifying the post's theorems. After four iterations, …