Navier–Stokes 问题是克雷数学研究所在 2000 年提出的七个“千禧年大奖难题”之一，每一道题悬赏 100 万美元。二十多年来，唯一被克雷数学研究所正式列为已解决的，仍然只有格里戈里·佩雷尔曼证明的庞加莱猜想。 而 OpenAI ...

Navier–Stokes问题是克雷数学研究所在2000年提出的七个“千禧年大奖难题”之一，每一道题悬赏100万美元。二十多年来，唯一被克雷数学研究所正式列为已解决的，仍然只有格里戈里·佩雷尔曼证明的庞加莱猜想。

编辑｜Panda今天凌晨，陶哲轩等 25 位菲尔兹奖得主发出一份联合声明，标题是《AI 在数学中的严重失准》（A Severe Misalignment of AI in Mathematics）。署名名单从 1978 ...

Liam Price has no formal training in mathematics and has yet to attend university, but last month, he managed to break new ground in mathematical research — with the help of ChatGPT. Posting on the ...

当地时间9月11日，25位菲尔兹奖（Fields Medal）得主联合发布了一份题为《A Severe Misalignment of AI in Mathematics》（《AI与数学界的严重失调》）的公开声明，直指AI公司争相“攻克”数学著名难题 ...

The tipping point came in the summer of 2025. That July, several artificial intelligence models solved five out of six problems at the International Mathematical Olympiad, an annual challenge for some ...

A week after OpenAI made headlines with an A.I.-generated proof, a new “declaration” by 16 experts raises concerns that the technology threatens math as a discipline. By Siobhan Roberts Recently there ...

In October 2024 I attended a workshop at Harvard University where mathematicians talked through the uses of artificial intelligence in their field. Most were less worried about the future of math than ...

With automated proof-checkers, a problem can be broken up into small chunks, solved bit-by-bit, then reassembled with confidence that every piece is correct. For some, this heralds a new area in ...