Neel has been exploring the frontiers of AI, finance, and blockchain, and redefining these niches, one research project at a time.
Among the varied niches today that can be credited the most for further advancements and developments is, hands-down, the world of modern-day technology. Especially with the advent of artificial intelligence (AI), most sectors worldwide have witnessed some of the most talked-about innovations. Credit also goes to dynamic founders and researchers like Neel Somani, who have been at the forefront of such research and innovations.
Neel Somani, who graduated from UC Berkeley in 2019 with a triple major in Math, Computer Science, and Business, completed his honours thesis in privacy/formal methods research (ACM Distinguished Paper). He was a former quantitative researcher at Citadel, one of the world’s leading hedge funds known for its data-driven trading strategies. His experience working at Citadel provided him with exposure to complex real-world systems, where he understood how crucial efficiency, reliability, and precise mathematical reasoning are. Despite the intellectual challenges of the field, Somani eventually decided to step into entrepreneurship, diving deep into emerging tech sectors. He now serves as the founder of a prominent blockchain startup (raised $65M), and an independent machine learning researcher (Erdos problems solved, previously published papers, recent open source projects).
He has emerged as a technologist whose career spans quantitative finance, blockchain infrastructure, and independent research in machine learning and mathematics. He even had a brief stint at Airbnb as a software engineer and then joined Citadel as a quant researcher in the commodities group. In 2022, he founded Eclipse: Ethereum’s first SVM L2 and raised $65M. Since then, he has incubated and supported several early-stage companies. Now, he is focused on machine learning research, education, and philanthropy, one of the major factors that has helped him stand apart.
During his undergraduate years, Somani conducted research in machine learning and privacy. His incredible work on differential privacy and formal verification systems earned him significant academic recognition, including an ACM Distinguished Paper Award. His research paved the way for mathematically proving that machine learning systems preserve privacy when working with sensitive data. His project shed more light on how complex computational systems behave, exactly how they are designed.
Technologist Neel Somani stands tall among researchers. technologists, and entrepreneurs with his years of experience and expertise in his multidisciplinary career. Through his strong educational foundation and experiences in the entrepreneurial world, he has been able to make a positive dent in all that he has ever chosen to lay his hands on in his professional journey.
After graduating early from high school as valedictorian and completing a triple major as mentioned before, he moved quickly into the world of high-stakes financial research before launching ventures in emerging technologies. Today, his work is all about the long-term development of artificial general intelligence (AGI) and also the systems and research foundations needed to support it. With research initiatives, open-source projects, and mentoring younger researchers, Neel Somani continues to explore how advanced computational systems can help solve some of the most complex challenges in science and technology.
In recent years, Somani has increasingly focused on independent research. This particularly includes the intersection of machine learning, formal mathematics, and artificial intelligence safety. One of his interests includes the challenge of applying AI systems to solve mathematical problems, including questions originally posed by the prolific mathematician Paul Erdős. Today, Somani and his collaborators are exploring how AI systems might assist researchers in verifying or discovering new results by experimenting with autoformalization, which is converting mathematical reasoning into machine-verifiable proofs.
He has even contributed to open-source initiatives and collaborative projects to push the boundaries of machine learning capabilities. Additionally, his philanthropic work, including supporting education through perpetual donations to schools and universities, helping fund student tuition and research initiatives, and mentoring young researchers, has further set him apart.
Neel Somani currently focuses on the long-term development of artificial general intelligence and the systems that will support its safe and reliable deployment.
