Anthropic's New AI Model Makes Significant Progress on the Riemann Hypothesis

Anthropic's new, yet-to-be-published AI model has made a significant mathematical advance on the 150-year-old Riemann hypothesis. The Riemann hypothesis, one of the biggest problems in the world of mathematics that has not been solved for more than 150 years, preserves its mystery based on the distribution of prime numbers. The $1 million reward offered for a general proof of this hypothesis has not yet been claimed by anyone. Although current models cannot yet completely solve this problem, they can make more progress than expected in generating mathematical ideas. This situation brings the long-standing debates about the role of artificial intelligence in scientific discoveries back to the agenda. Artificial intelligence step in the Riemann hypothesis Anthropic announced that a model that has not yet been released has made significant progress on the Riemann hypothesis. The model was able to significantly increase the lower bound of the solution range over which the hypothesis is valid. This development began when an Anthropic employee with no mathematical training gave the model a simple command to prove the hypothesis. The model tested a total of 650 different solution ideas by working in coordination with 60 sub-representatives for a day and a half. The work of the model, which spent 31 million output tokens during the process, was verified by two mathematicians within Anthropic. The findings were formalized using the open source evidence assistant Lean. Artificial intelligence debate in the world of mathematics The success of large language models in the field of mathematics creates both excitement and concern in the sector. Some leading mathematicians are concerned that artificial intelligence could undermine fundamental values ​​such as ownership and responsibility for evidence. In a declaration published in June, it was emphasized that mathematical proofs should be attributed to specific authors. However, names such as Fields Medal winner Timothy Gowers argue that artificial intelligence can take mathematics in a more complex and positive direction. Gowers states that the fact that mathematical theorems are no longer associated with specific people can be considered as natural as the naming habits in the world of astronomy. How do you think artificial intelligence taking such an active role in mathematical discoveries will change the future of the scientific world?