[sympy] Introduction and seeking help to begin with

hello community I am Alok a Comp Sci undergrad and have some experience in working in python, i am new to open source and came across this library and i am eager to know about the ways i can contribute to the project can someone guide me how to begin with projects and issues like these, Thank y

[sympy] AlphaGeometry and future of symbolic computation

AI achieves silver-medal standard solving International Mathematical Olympiad problems - Google DeepMind Recently, Google had announced the result that their AI model, AlphaProof and AlphaGeometry can silver m

[sympy] Re: AlphaGeometry and future of symbolic computation

I am not a trained mathematician. My question: would Gödel's incompleteness theorem not set a limit to what can be proven 'automatically'? syle...@gmail.com schrieb am Montag, 19. August 2024 um 02:34:15 UTC+2: > AI achieves silver-medal standard solving International Mathematical > Olympiad p