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