Romain Peter

Sep 22, 2025

•

8 min read

👾 The Great Fracture

How AI as an Agency Multiplier Is Redefining the Nature of Power

👾 Proof Assistants and AI: Reimagining Mathematics

Mar 3, 2025

•

17 min read

👾 Proof Assistants and AI: Reimagining Mathematics

Unleashing Latent Reasoning Beyond Chain-of-Thought. How AI-powered Proof Assistants and Latent Reasoning Are Transforming Mathematical Rigor and Discovery

👾 An AI that Thinks: Visibility and Transparency in Reasoning Models

Feb 13, 2025

•

15 min read

👾 An AI that Thinks: Visibility and Transparency in Reasoning Models

How AI’s Visible Reasoning Shapes Perception, Trust, and Understanding

Romain Peter

👾 The Great Fracture

👾 Proof Assistants and AI: Reimagining Mathematics

👾 An AI that Thinks: Visibility and Transparency in Reasoning Models

Account

Content

Tools

Resources