Good news! Food for thought!
With machine learning & AI, we can expect more and faster, possibly spectacular breakthroughs in mathematics in the coming years!
Who does not remember Archimedes famous last quote: "Do not disturb my circles" before he was slain by a Roman soldier.
"The archetype of the lone genius toiling in isolation still looms large over how we imagine mathematics. That’s not without good reason: Until a few decades ago, single-author papers were the norm in the subject. But most papers now have two or three authors. ...
In 2009, the mathematician Tim Gowers posted a challenge on his blog: “Is massively collaborative mathematics possible?” ...
Mathematicians are now engaging in a second type of large-scale collaboration enabled by the rise of “proof assistants” — software that helps mathematicians verify that a proof is ironclad, without any gaps in logic, by prompting them to write it out systematically in a computer language. Since 2017, for instance, mathematicians have been building a digital mathematical library by translating axioms, definitions, theorems and proofs into the software program Lean. More recently, they’ve started using Lean to check the accuracy of new proofs, to automate certain steps in mathematical arguments, and more. ..."
In 2009, the mathematician Tim Gowers posted a challenge on his blog: “Is massively collaborative mathematics possible?” ...
Mathematicians are now engaging in a second type of large-scale collaboration enabled by the rise of “proof assistants” — software that helps mathematicians verify that a proof is ironclad, without any gaps in logic, by prompting them to write it out systematically in a computer language. Since 2017, for instance, mathematicians have been building a digital mathematical library by translating axioms, definitions, theorems and proofs into the software program Lean. More recently, they’ve started using Lean to check the accuracy of new proofs, to automate certain steps in mathematical arguments, and more. ..."
The death of Archimedes
No comments:
Post a Comment