China Launches AI Math Alliance With 1,000 Scientists

Leading mathematicians in Beijing established an AI math alliance to incorporate over 1,000 scientists into a network automating theoretical research. The group will build specialized models to generate conjectures, formalize proofs, and develop human-interpretable reasoning processes.