Why you are ruining Mathematicians' attempt to get Free Tokens.

Reddit r/ArtificialInteligence News

Summary

文章抱怨AI实验室在利用数学家验证AI生成的定理和证明,却不提供相应的免费API token资源,呼吁实验室为数学验证工作提供支持。

Mathematics is a fairly thankless endeavor for the amount of use it develops. For example ai is now pouring out theorems and proofs, and mathematicians are expected to just sit there and go through tens of thousands of pages of ai pieced together vernacular by hand? With maybe the microsoft word "find" feature? And just so someone somewhere can get the human math stamp of approval? It is extraordinarily clear that Mathematicians need ai to help go through ai math output, if only to help track down citations, document references, summarize, categories, and generally search and explain. And what that means is LOTS OF FREE TOKENS. That's what's politely going on. So blame the Labs for getting all the money, the discovery credit, but being stingy with the validation and stamps of human verification that they want so much.
Original Article

Similar Articles

AI and mathematics

Reddit r/artificial

作者探讨 AI 在数学证明中的角色,质疑为何 AI 不能在生成证明之外,进一步理解、解释并推广证明背后的数学思想,而非仅停留在验证层面。

Why are we even doing all this?

Lobsters Hottest

A satirical guest post on Terence Tao's blog by physicist Rikab Gambhir criticizing OpenAI's release of 722 AI-generated math manuscripts, arguing that mass-generating plausible-looking but unverified papers outsolds the burden of verification onto the mathematics community.

All the drama around AI’s takeover of mathematics

The Verge

The Verge 报道 OpenAI、Anthropic 等实验室在数学领域取得突破性进展,却因草率发布和与数学界沟通不当而引发反弹;OpenAI 此前组建的独立顾问组被指同样混乱,研究者担忧更多模型成果涌入将冲击学术界。

OpenAI’s feud with mathematicians is only escalating

TechCrunch AI

A group of 25 Fields Medal-winning mathematicians has signed an open letter accusing AI labs, particularly OpenAI, of threatening mathematical research through unverified proofs and poor attribution practices, escalating tensions and raising concerns about the integrity of open science.