Second Batch Community Experiment
The community experiment is an informal activity connected to the second batch. It gives mathematicians and interested participants a separate space to test AI systems on selected research mathematics problems, compare transcripts, and discuss what the attempts reveal.
Problems, solutions, and discussion details will be posted when the community experiment opens. We plan to release two problems per week in alternating weeks, for 2 or 3 weeks.
Week #1
Problem release
A separate set of problems is made available for public experimentation after the formal benchmark.
Open experimentation
Participants try the problems with AI systems and are encouraged to preserve complete transcripts.
Solutions posted
Solutions are released so attempts can be compared against complete proofs.
Discussion
The community can compare methods, failure modes, and evidence about mathematical capability.