Re: Log i = 0

Le 26/05/2025 à 04:22, sobriquet a écrit :

 I'm just interested in math and science at an abstract level from a historical perspective and how technology (AI in particular) has the potential to transform education and the dissemination/accessibility of knowledge and understanding.
 https://www.quantamagazine.org/mathematical-beauty-truth-and-proof-in- the-age-of-ai-20250430/
 

Thanks for the link. Interesting paper, especially for its last part about the future of mathematics: are the mathematicians going to become, in a close future, like literature department researchers, not producing results any more but commenting and trying to understand the results of AI?
I was not aware of the large collaborative project launched by Terence Tao on "magmas", that has been completed a few weeks ago after the test of 22 028 942 = 4694*(4694-1) possible equational laws, both manually and automatically. The preliminary paper is here :
https://teorth.github.io/equational_theories/paper.pdf
--
F.J.