← A Presentation of the Absolute Galois Group of ℚ2

Development record

This page follows the search for the presentation, the tests it underwent, and the development, correction, and formalization of its proof.

AI transcript files

The sanitized transcripts behind every record on this page, packaged for download. What producing them consumed is accounted on the cost page.

Research conversation records · Turturean’s formalization archive · Roe’s formalization archive · Roe’s cleanup archive

Below is the record itself: 481 published records, the AI responses from the research conversations that found and proved the presentation, plus session-level records from the two formalization efforts and the cleanup that followed. The Timeline arranges them chronologically by stage, Key records collects the turning points, and All records lists everything by conversation; each record opens the published message sequence behind it, and the search and filters below apply to all three views.

Filters
Importance
Conversation
Record type
Loading records

All stages

The full record

Dates with no recorded work are compressed on the map; stage and date labels mark each compressed interval.

Map range
Record types