Wir haben gerade ein Papier veröffentlicht, das Erdos #846 löst, welches von einem internen Modell bei OpenAI gelöst wurde (). Während das Problem auch aus einem früheren Papier in der Literatur abgeleitet werden kann, war der Beweis durch das interne Modell eines der ersten Beispiele, bei denen ich beim Lesen des Beweises lächeln musste.

Ich habe kürzlich von Columbia Urlaub genommen, um zu OpenAI zu wechseln und an OpenAI für Wissenschaft zu arbeiten. In den letzten Monaten ist KI - einschließlich GPT 5.2 - ein zunehmend wichtiger Teil meines Arbeitsablaufs als Mathematiker geworden. Ich freue mich darauf, zu den Bemühungen beizutragen, den Fortschritt in der Mathematik und der wissenschaftlichen Forschung zu beschleunigen.