Some accounts claim that Emmanuel and I actually started collaborating at the preschool that both of our children attended at the time, but the truth is that our main collaboration actually started at IPAM; the fact that we met on a near-daily basis at the preschool was very useful to continue the collaboration, but it was not exactly an ideal environment to initiate it.
I have been involved in several other very interesting IPAM programs since then; for instance, in 2023 I was the lead organizer in an IPAM-hosted workshop on Machine Assisted Proof https://www.ipam.ucla.edu/programs/workshops/machine-assisted-proofs/, which turned out to be a very well-timed event (occurring a few months after the launch of ChatGPT, for instance), bringing together pure mathematicians, computer scientists, and several people from industry and opening important channels of communication between researchers in such topics as proof formalization, machine learning, large language models, computer algebra solvers, and satisfiability solvers. (I previously posted on my experiences at that workshop at https://mathstodon.xyz/@tao/109858184238417737 .) My experiences at that workshop, as well as the connections made, permitted me to get up to speed on the latest developments in all of these areas, which now encompass a large portion of my current research interests. (3/4)
Terence Tao
npub1gv…2sduy
2025-08-02 02:37:15 UTC
in reply to nevent1q…klr8
Author Public Key
npub1gvea966levf836g93xsdnkde8mmz58qyznf9c82jg02hq35f46lsn2sduySeen on
wss://relay.momostr.pinkPublished at
2025-08-02 02:37:15 UTCEvent JSON
{
"id": "65109a8c662616b5f364602e2a8fa4655a3e10cba157124b0f561c3480c05a49",
"pubkey": "4333d2eb5fcb1278e90589a0d9d9b93ef62a1c0414d25c1d5243d5704689aebf",
"created_at": 1754102235,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/@tao/114956844134431126",
"web"
],
[
"p",
"4333d2eb5fcb1278e90589a0d9d9b93ef62a1c0414d25c1d5243d5704689aebf"
],
[
"e",
"94c26b21fac1c7527e733ddf3b37ff0429c801fb6b8ea4d2e76cc311fd6d009f",
"",
"root",
"4333d2eb5fcb1278e90589a0d9d9b93ef62a1c0414d25c1d5243d5704689aebf"
],
[
"e",
"aa974fc5eb80afbc7a40a4ba08dad2a2e5444b5f1f6a1e55fae269500014ddf5",
"",
"reply",
"4333d2eb5fcb1278e90589a0d9d9b93ef62a1c0414d25c1d5243d5704689aebf"
],
[
"proxy",
"https://mathstodon.xyz/users/tao/statuses/114956844134431126",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/tao/statuses/114956844134431126",
"pink.momostr"
],
[
"-"
]
],
"content": "Some accounts claim that Emmanuel and I actually started collaborating at the preschool that both of our children attended at the time, but the truth is that our main collaboration actually started at IPAM; the fact that we met on a near-daily basis at the preschool was very useful to continue the collaboration, but it was not exactly an ideal environment to initiate it.\n\nI have been involved in several other very interesting IPAM programs since then; for instance, in 2023 I was the lead organizer in an IPAM-hosted workshop on Machine Assisted Proof https://www.ipam.ucla.edu/programs/workshops/machine-assisted-proofs/, which turned out to be a very well-timed event (occurring a few months after the launch of ChatGPT, for instance), bringing together pure mathematicians, computer scientists, and several people from industry and opening important channels of communication between researchers in such topics as proof formalization, machine learning, large language models, computer algebra solvers, and satisfiability solvers. (I previously posted on my experiences at that workshop at https://mathstodon.xyz/@tao/109858184238417737 .) My experiences at that workshop, as well as the connections made, permitted me to get up to speed on the latest developments in all of these areas, which now encompass a large portion of my current research interests. (3/4)",
"sig": "b296d19a1c9b69dfd332e823dcc4131913ce7ab08a0559d24f4d7aa2a84ea71c1cf79749277517c6b9ccbd03ec8a15e0e49440c42a0b3abd97d7f6a91b7382d9"
}