Segev Gonen Cohen

Segev Gonen Cohen

About me

I am a third year PhD student in Mathematics at ETH Zürich, under the supervision of Dr. Menny Aka and and Prof. Manfred Einsiedler.

Before that, I completed my masters in Mathematics, also at ETH. I did my thesis, titled 'Algebraic Certificates for Positivity and Kazhdan's Property (T)', under the supervision of Prof. Marc Burger.

In Zürich we have a big Dynamics group, be sure to check out our website!

AI in Mathematics

On 10 August 2026 a new communal blog about Mathematics and AI, called Proofs and Prompts, was launched by Raphael Appenzeller, Franceso Fournier-Facio, Simon Machado, and Anand Rao Tadipatri.

Please read and interact with the posts! You are also encouraged to contribute yourself, details are on the submissions page.

I joined the team on 09 September 2026, prior to this I had written a post titled The question of reasoning traces. In it, I raise some natural questions about the chains-of-thought of reasoning models and their potential usefulness in Mathematics, alongside caveats and risks. Make sure to engage with it!

Curriculum vitae

My CV (Last update: August 2026).

Contact information

Postal address

ETH Zurich Segev Gonen Cohen Department of Mathematics Group 4 HG J 16.4 Rämistrasse 101 8092 Zurich Switzerland

Contact data

+41 44 632 2392 https://people.math.ethz.ch/~sgonen