
Elfarouk Harb ๐ฑ
133 posts

Elfarouk Harb ๐ฑ
@ElfaroukHarb
CS PhD Student at UIUC. I focus on algorithm design. Incoming Quant Researcher @twosigma. Previously SWE @Google and Quant Trader @citsecurities



Jensen Huang gets into a heated argument over selling chips to China.















Here at [famous scientistโs name].ai, weโre developing tools to accelerate science. Unlike academia, which has stifled the production of high quality scientific work by demanding it be correct, here at [fsn].ai, we know that you can just do (wrong) things.




I proved an erdos problem at 17! Papers of many Great Mathematicians gave me key inspiration! Especially Professor Balog and Professor Wooleyโs! And I would once again like to sincerely thank everyone for all the help you have given me! erdosproblems.com/forum/thread/3โฆ

The second round of #FirstProof is announced: 1stproof.org. Glad to see the organizers planning a rigorous process. Most AI benchmarks today still rely on the "honor system". Thatโs billions of valuation dollars hinging on integrity, even while there are many performance-boosting tricks that are undetectable in results (adding hints to prompts, human intervention, best-of-N, etc). For this reason, one should interpret one-off performances by proprietary models (e.g., on math contests) with a grain of saltโespecially when they are carried out after solutions are already posted online. FirstProof will be the only evaluation based on the natural distribution of research mathematics that guarantees autonomy and transparency of results. It should be considered the gold standard benchmark in the AI4Math space.





