Elliot Glazer
@ElliotGlazer
Set theorist and AI math benchmarker. Researches the axiom of choice. Led the development of FrontierMath. A or S tier ish.
Joined November 2024
985 Following 8K Followers
Shoutouts to Ramana Kumar for refuting the Collatz Conjecture in Lean, *as checked by Comparator!*
