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.
