46岁数学博士AI炒股登上富豪榜，日赚超1.7亿元
亚历克斯·格尔科身家一年暴增643亿元。
标签：数学
共 88 篇相关文章
OpenAI 公布大批数学研究成果引发学界巨震，学者担忧破坏学术合作传统
IT之家 10 月 10 日消息，据《商业内幕》今天（10 日）上午报道，OpenAI 最新公布的大批数学研究成果在学术界引发了不同反应。一些学者为数学研究取得的突破感到振奋，另一些人则开始担忧仍在努力攻克同样难题的研究人员。纽约大学数学教…
OpenAI在为纳维-斯托克斯证明将数学翻译成代码时出错
文章链接：https://www.newscientist.com/article/2592824-openai-mistranslated-mathematics-into-code-for-its-navier-stokes-proof…
数学家应该了解关于 Lean 定理证明器的哪些事：可靠性与 AI
文章链接：https://terrytao.wordpress.com/2026/10/09/what-mathematicians-should-know-about-the-lean-theorem-proverquestions-of…
数学家应该了解的 Lean 定理证明器：可靠性与 AI
文章链接：https://terrytao.wordpress.com/2026/10/09/what-mathematicians-should-know-about-the-lean-theorem-proverquestions-of…
数学家应该了解的 Lean Theorem Prover：可靠性与 AI
文章链接：https://terrytao.wordpress.com/2026/10/09/what-mathematicians-should-know-about-the-lean-theorem-proverquestions-of…
数学家应该了解的 Lean 定理证明器：可靠性与 AI
文章 URL：https://terrytao.wordpress.com/2026/10/09/what-mathematicians-should-know-about-the-lean-theorem-proverquestions-…
数学家应该了解 Lean Theorem Prover 的哪些方面：可靠性与 AI
文章 URL：https://terrytao.wordpress.com/2026/10/09/what-mathematicians-should-know-about-the-lean-theorem-proverquestions-…
数学家应该了解 Lean 定理证明器的哪些方面：可靠性与 AI
请提供需要翻译的英文正文内容。当前只给出了 Article URL 和 Comments URL，没有可翻译的文本。
数学家应该了解的 Lean Theorem Prover：可靠性与 AI
文章链接：https://terrytao.wordpress.com/2026/10/09/what-mathematicians-should-know-about-the-lean-theorem-proverquestions-of…
数学家应该了解的 Lean 定理证明器：可靠性与 AI
文章链接：https://terrytao.wordpress.com/2026/10/09/what-mathematicians-should-know-about-the-lean-theorem-proverquestions-of…
数学家应该了解的 Lean 定理证明器：可靠性与 AI
文章链接：https://terrytao.wordpress.com/2026/10/09/what-mathematicians-should-know-about-the-lean-theorem-proverquestions-of…