English(EN)OpenAI has released 722 math papers "covering 372 result families" of previously unsolved problems in mathematics. Crucially not all of these have computer-veri
OpenAI 发布数百个数学解题方案，引发数学家争论 · 跟踪 8 个来源
作者PulseAugur 编辑部·[15 个来源]·
OpenAI 发布了数百个解题方案，并在 372 个重大数学问题上取得进展，使用了未发布的模型并将研究结果发布在 GitHub 上。此举在数学界引发了争论，一些人对新的探索途径表示兴奋，另一些人则对方法论和对人类数学研究的潜在影响表示担忧。批评者质疑该过程的透明度、结果的普适性以及使用专有 AI 模型进行学术发现的伦理影响，而 OpenAI 则表示致力于改进未来的发布并与咨询小组合作。
AI
影响
为 AI 在学术研究中树立了新先例，引发了关于透明度、方法论以及人类数学家未来角色的关键问题。
<p><span style="white-space: pre-wrap;">Many people expect the AI paradigm to approximately AGI complete, and expect it to smoothly scale to AI that can do innovative science. i.e. the kind of science you'd need to do to develop a plague from scratch that actually kills all human…
OpenAI has revealed solutions to a number of long-standing mathematics problems produced by an unreleased frontier model in a batch of 722 manuscripts, covering 372 result families that group related papers. It extends a run of breakthroughs that have both impressed and unsettled…
OpenAI has released 722 math papers "covering 372 result families" of previously unsolved problems in mathematics. Crucially not all of these have computer-verifiable proofs in Lean, the proof assistant software. You have to watch for "Lean" links. https:// github.com/openai/math…
<p>Leaders worry OpenAI is not doing due diligence to vet results and that AI models aren’t accessible to broader field of mathematicians </p><p>OpenAI has astounded mathematicians after <a href="https://github.com/openai/math">releasing</a> hundreds of new mathematical findings …
🤖 OpenAI unleashes hundreds more math results upon a field already in shock submitted by /u/scientificamerican [link] [comments] 📰 Source: Artificial Intelligence (AI) 🔗 Link: https://www.reddit.com/r/artificial/comments/1x03feu/openai_unleashes_hundreds_more_math_results_upon/ #…
OpenAI released over 370 mathematical results covering algebra, theoretical computer science and mathematical logic. Source: The Guardian https://www. theguardian.com/technology/202 6/oct/07/openai-mathematical-findings-concerns # AI # OpenAI
OpenAI just posted hundreds more results on major math problems https://www.engadget.com/2279815/openai-just-posted-hundreds-more-results-on-major-math-problems/ # AI # Tech # Science
OpenAI drops another batch of mathematical breakthroughs Ready to read about math? https://www. theverge.com/ai-artificial-int elligence/1005004/openai-math-release-github # TopNews # News # OpenAI # AI # theAdvisoryGrouponMathematicsandArtificialIntelligence
📰 OpenAI drops another batch of mathematical breakthroughs OpenAI has revealed solutions to a number of long-standing mathematics problems produced by an unreleased frontier model in a batch of 722 manuscripts, covering 372 result families that group relat... 📰 Source: The Verge …
OpenAI drops another batch of mathematical breakthroughs https://www.theverge.com/ai-artificial-intelligence/1005004/openai-math-release-github # AI # Science # OpenSource
<table> <tr><td> <a href="https://www.reddit.com/r/singularity/comments/1x0cqu6/ai_systems_are_already_building_on_openais/"> <img alt="AI Systems Are Already Building on OpenAI's Massive Math Drop — New Lean-Verified Extension Reported Just Days Later" src="https://external-prev…
<table> <tr><td> <a href="https://www.reddit.com/r/singularity/comments/1wzt01y/post_openai_math_drop_some_of_rmathematics_takes/"> <img alt="Post OpenAI Math drop, some of r/mathematics takes are interesting" src="https://preview.redd.it/wuhjgf15v0uh1.jpg?width=140&height=98…
