Recent searches
Search options
ML4PureMath in the #MachineAssistedProofs workshop at #IPAM this week. https://mathstodon.xyz/@tao/109858184238417737
MathstodonTerence Tao (@tao@mathstodon.xyz)The #IPAM workshop on #MachineAssistedProofs (which I am the lead organizer of) starts in less than an hour: http://www.ipam.ucla.edu/programs/workshops/machine-assisted-proofs/ . As an experiment, I plan to make some occasional posts on the workshop as comments to this post. (For people not already registered, the talks will be made available online one to two weeks after the event.)