What should mathematical AI deliver?

Terence Tao published a declaration on September 11 with 25 initial signatories, all Fields medallists. They argue that racing to solve problems can neglect explanation, attribution and the development of mathematical ideas.

The statement recognizes AI’s potential to help research, while warning that rushed announcements can leave mathematicians without clear accounts of methods or prior work. It is a community position statement, not a new theorem or benchmark study.

For readers following AI-generated proofs, the declaration puts a practical question in focus: can others understand and build on the result?

References

• Tao’s dated announcement
• Declaration website