Automated Mathematics India

Contact owners and managers

1–18 of 18

This is an informal forum for discussing automated mathematics in a broad sense. This is mainly aimed at those from India, but all interested in the theme are of course welcome.

0 selected

Siddhartha Gadgil, Tarun Gupta10

Apr 7

Fwd: Change in venue and time: {AI for Maths lecture} @ Faculty Hall: 26 February: 'AlphaGeometry and friends: AI for Mathematics'.

Certainly, I largely agree with both your points; "in practice" it doesn't matter much

unread,

Fwd: Change in venue and time: {AI for Maths lecture} @ Faculty Hall: 26 February: 'AlphaGeometry and friends: AI for Mathematics'.

Certainly, I largely agree with both your points; "in practice" it doesn't matter much

Apr 7

Siddhartha Gadgil

Mar 1

Blog: My Wishlist/ToDo list

I blogged about things that I hope to work on or hope someone else will at https://siddhartha-gadgil.

unread,

Blog: My Wishlist/ToDo list

I blogged about things that I hope to work on or hope someone else will at https://siddhartha-gadgil.

Mar 1

Siddhartha Gadgil

6/1/23

Fwd: NASEM virtual workshop: AI to Assist Mathematical Reasoning

May be of interest to some: Registration is now open for a virtual workshop "AI to Assist

unread,

Fwd: NASEM virtual workshop: AI to Assist Mathematical Reasoning

May be of interest to some: Registration is now open for a virtual workshop "AI to Assist

6/1/23

Siddhartha Gadgil

4/3/23

Fwd: Learning Lean

Kevin Buzzard is giving an introduction to Lean today at 9:30 am IST at IISc This will be hybrid. A

unread,

Fwd: Learning Lean

Kevin Buzzard is giving an introduction to Lean today at 9:30 am IST at IISc This will be hybrid. A

4/3/23

Siddhartha Gadgil

12/11/22

An experiment with chatGPT

Blog about a small experiment with chatGPT: https://siddhartha-gadgil.github.io/automating-

unread,

An experiment with chatGPT

Blog about a small experiment with chatGPT: https://siddhartha-gadgil.github.io/automating-

12/11/22

Siddhartha Gadgil

12/10/22

some "Autoformalisation"

Dar All, Some stuff I have done with a few others, though the actual work is done by "Codex

unread,

some "Autoformalisation"

Dar All, Some stuff I have done with a few others, though the actual work is done by "Codex

12/10/22

Siddhartha Gadgil

6/7/22

Formalization of Gardam's disproof of Kaplansky's conjecture

Dear All, About an year ago Giles Gardam (then a postdoc in Germany) disproved "Kaplansky's

unread,

Formalization of Gardam's disproof of Kaplansky's conjecture

Dear All, About an year ago Giles Gardam (then a postdoc in Germany) disproved "Kaplansky's

6/7/22

Siddhartha Gadgil

5/2/22

Fwd: Lean Job in Orsay

---------- Forwarded message --------- From: Siddhartha Gadgil <gad...@iisc.ac.in> Date: Mon, 2

unread,

Fwd: Lean Job in Orsay

---------- Forwarded message --------- From: Siddhartha Gadgil <gad...@iisc.ac.in> Date: Mon, 2

5/2/22

Siddhartha Gadgil

4/27/22

Fwd: Abel Prize Talk 2022

Not much to do with automating mathematics, but as I shared the corresponding blog I am sharing the

unread,

Fwd: Abel Prize Talk 2022

Not much to do with automating mathematics, but as I shared the corresponding blog I am sharing the

4/27/22

Siddhartha Gadgil

4/21/22

Fwd: Colloquium at TIFR-CAM : Kevin M Buzzard, Teaching proofs to a computer

---------- Forwarded message --------- From: Nishant Chandgotia <nis...@tifrbng.res.in> Date:

unread,

Fwd: Colloquium at TIFR-CAM : Kevin M Buzzard, Teaching proofs to a computer

---------- Forwarded message --------- From: Nishant Chandgotia <nis...@tifrbng.res.in> Date:

4/21/22

Siddhartha Gadgil

3/14/22

Another blog post: Forward reasoning in Lean 4

Dear All, I have posted another blog post at https://siddhartha-gadgil.github.io/automating-

unread,

Another blog post: Forward reasoning in Lean 4

Dear All, I have posted another blog post at https://siddhartha-gadgil.github.io/automating-

3/14/22

Siddhartha Gadgil

1/18/22

My lecture on Jan 19, 2022 (tomorrow

I am giving the following lecture online at KREA, which may be of some interest. I have given

unread,

My lecture on Jan 19, 2022 (tomorrow

I am giving the following lecture online at KREA, which may be of some interest. I have given

1/18/22

Anand Rao Tadipatri

12/18/21

Upcoming conferences on interactive and automated theorem proving

Dear all, There have been some recent announcements on the LEAN Users Google Group regarding upcoming

unread,

Upcoming conferences on interactive and automated theorem proving

Dear all, There have been some recent announcements on the LEAN Users Google Group regarding upcoming

12/18/21

Siddhartha Gadgil

12/1/21

Deepmind helping discovery

https://www.nature.com/articles/s41586-021-04086-x

unread,

Deepmind helping discovery

https://www.nature.com/articles/s41586-021-04086-x

12/1/21

Siddhartha Gadgil

10/27/21

Johann Commelin's recent talk

Dear All, Unfortunately I did not post in advance here, but many of you may like to listen to the

unread,

Johann Commelin's recent talk

Dear All, Unfortunately I did not post in advance here, but many of you may like to listen to the

10/27/21

Siddhartha Gadgil

6/28/21

SATurn: a lean 4 SAT solver-prover

Dear all, Here is a blog post about SATurn: https://siddhartha-gadgil.github.io/automating-

unread,

SATurn: a lean 4 SAT solver-prover

Dear all, Here is a blog post about SATurn: https://siddhartha-gadgil.github.io/automating-

6/28/21

Siddhartha Gadgil

6/6/21

Of possible interest: Peter Scholze and Fomalization of mathematics

Dear All, Peter Scholze reports as a guest post on the blog of Kevin Buzzard what may be considered a

unread,

Of possible interest: Peter Scholze and Fomalization of mathematics

Dear All, Peter Scholze reports as a guest post on the blog of Kevin Buzzard what may be considered a

6/6/21

Siddhartha Gadgil

5/28/21

New blog post on SAT solvers

Dear friends, I have blogged about my experiments with implementing SAT solvers at https://siddhartha

unread,

New blog post on SAT solvers

Dear friends, I have blogged about my experiments with implementing SAT solvers at https://siddhartha

5/28/21

Search

Clear search

Close search

Google apps

Main menu