Anthropic staff member at Anthropic
Eric Easley is a staff member at Anthropic.
Based on 3 scored articles
Referenced in coverage
“Worked with Claude to produce a Lean formalization of the Riemann hypothesis result.”
“Anthropic staff member who worked with Claude to produce a Lean formalization of the mathematical result”
“Worked with Claude to produce a Lean formalization of the Riemann hypothesis result that passes standard validation.”