Why one of the best mathematicians is joining OpenAI

17 hours ago

Fields Medal winner Jacob Tsimerman is joining OpenAI to focus on AI safety.
AI systems are now solving research-level math problems, causing a turbulent period in mathematics.
Tsimerman predicts AI will soon surpass humans in mathematical research, requiring a rethinking of the field.
He became concerned about AI risks around 2016 with AlphaGo and decided to pivot to AI safety after ChatGPT.
He chose OpenAI to gain software engineering skills and contribute to safety, while keeping his professorship at Toronto.
He emphasizes the need for coordination and a healthy AI safety ecosystem, dismissing cynicism about collective action.
He is focused on safety rather than capabilities and notes that AI can attempt open problems but humans must interpret results.

Jacob Tsimerman is driven by the goal of solving hard problems and being the first, not just the beauty of mathematics.
He won the Fields Medal in 2026 after a career marked by competition success, graduate work at Princeton, and major contributions to the André-Oort conjecture and Hodge theory.
Tsimerman uses techniques from one area of math in another to gain a competitive advantage.

<antirez>5 days ago

The author loves writing software by hand but acknowledges that AI is irreversibly transforming programming, making manual coding no longer sensible for most projects.
In 2020, the author left their job to write a novel about AI and universal basic income, and opened a YouTube channel on AI in 2024, recognizing early the shift in programming.
Recent LLMs can complete large subtasks and medium projects alone with minimal guidance, as demonstrated by the author's examples: modding linenoise, fixing Redis tests, creating a BERT library in C, and reproducing Redis Streams changes.

OpenAI CEO Sam Altman suggests pacing AI development to allow society time to adapt to new capabilities.
Altman emphasizes the need to avoid regulatory capture or collusion among frontier labs.
OpenAI and Anthropic support a petition urging the US government to promote international efforts for paced AI development.

Kepler discovered planetary motion laws through a blend of creativity and data analysis, not solely through genius.
AI reduces the cost of generating scientific ideas, shifting the bottleneck to verification and validation.
The verification loop for correct scientific theories can span decades, often with initially worse predictions.

The most consequential AI question is how we will know what superintelligent machines are thinking, not when they will arrive.
Analogies from 'Arrival' and 'Project Hail Mary' illustrate the challenge of understanding cognitively alien intelligences.
Current AI systems are fluent but structurally alien; we lack calibrated instruments for evaluation.

Jacob Tsimerman is driven by the goal of solving hard problems and being the first, not just the beauty of mathematics.
He won the Fields Medal in 2026 after a career marked by competition success, graduate work at Princeton, and major contributions to the André-Oort conjecture and Hodge theory.
Tsimerman uses techniques from one area of math in another to gain a competitive advantage.

<antirez>5 days ago

The author loves writing software by hand but acknowledges that AI is irreversibly transforming programming, making manual coding no longer sensible for most projects.
In 2020, the author left their job to write a novel about AI and universal basic income, and opened a YouTube channel on AI in 2024, recognizing early the shift in programming.
Recent LLMs can complete large subtasks and medium projects alone with minimal guidance, as demonstrated by the author's examples: modding linenoise, fixing Redis tests, creating a BERT library in C, and reproducing Redis Streams changes.

OpenAI CEO Sam Altman suggests pacing AI development to allow society time to adapt to new capabilities.
Altman emphasizes the need to avoid regulatory capture or collusion among frontier labs.
OpenAI and Anthropic support a petition urging the US government to promote international efforts for paced AI development.

Kepler discovered planetary motion laws through a blend of creativity and data analysis, not solely through genius.
AI reduces the cost of generating scientific ideas, shifting the bottleneck to verification and validation.
The verification loop for correct scientific theories can span decades, often with initially worse predictions.

The most consequential AI question is how we will know what superintelligent machines are thinking, not when they will arrive.
Analogies from 'Arrival' and 'Project Hail Mary' illustrate the challenge of understanding cognitively alien intelligences.
Current AI systems are fluent but structurally alien; we lack calibrated instruments for evaluation.

Hasty Briefsbeta