Mathematicians use AI to prove new theorems

https://innovationorigins.com/en/selected/mathematicians-use-ai-to-prove-new-theorems/

 

所有跟帖： 

• 也许不久的将来，数学家将步以前用电镜探测蛋白质结构的化学家的后尘。 -大观园的贾探春- ♀ (0 bytes) () 07/19/2025 postreply 09:21:00