Explore tweets tagged as #AutomationOfMath
Kevin Buzzard - it is time to create a new area of #mathematics dedicated to the #ComputerizationOfProofs by #AI - to create a general automated theorem prover. #LogicMathematics #ProofTheory #LeanProgramming #AutomationOfMath.
0
0
0