"Computer programs that check mathematical arguments have existed for decades, but translating a human-written proof into the strict programming language of a computer is extremely time-consuming, often taking months or even years."
"Math, Inc. has reported initial success in formalizing proofs, with its AI, Gauss, formalizing two complex proofs related to arranging spheres in higher dimensions, a significant achievement in the field."
"The mathematics community's response to Gauss's formalization has been muted, partly because the project did not unfold as many experts had hoped, indicating a cautious optimism about AI's role in mathematics."
Mathematicians are on the brink of a new era where computers can verify proofs quickly and rigorously. This advancement could address the increasing pace of mathematical research. While tools for checking proofs have existed, translating human-written proofs into formal programming languages is time-consuming. A start-up, Math, Inc., has reported success with its AI, Gauss, which has formalized complex proofs by Maryna Viazovska. However, the response from the mathematics community has been cautious, reflecting mixed expectations for the future of AI in formalization.
Read at www.scientificamerican.com
Unable to calculate read time
Collection
[
|
...
]