Elliot Glazer
@ElliotGlazer
Set theorist and AI math benchmarker. Researches the axiom of choice. Led the development of FrontierMath. A or S tier ish.
参加 November 2024
985 フォロー中 8K ファン
Solved. In Sol token costs: it took $161.84 for Astra to find the number, $1,874.64 to complete the proof.
