Reposted by Oscar
Next week Wednesday and Thursday (7th and 8th October) we will be running the event "Mathematical Proof in the age of AI" at the University of Bergen. www4.uib.no/en/research/...
www4.uib.no
Mathematical Proof in the Age of AI
This conference will be about the various implications of AI-based proving and autoformalisation for mathematics. Examples include the recently (claimed) major breakthrough in solving the Navier-Stoke...