Hacker News front pageAI 評分62
西蒙斯基金會聯合 Anthropic、OpenAI 出資 1500 萬美元支援數學界
西蒙斯基金會與 Anthropic、OpenAI 共同出資 1500 萬美元，幫助數學界應對 AI 在該領域的快速興起。基金會負責管理與發放這筆資金，包括公開徵集提案，用於資助工作坊和專案，幫助研究者評估近期的 AI 輔助成果、學習使用新工具、交流看法並形成 AI 使用的集體標準。Anthropic 和 OpenAI 還將向受資助研究者提供 AI 工具與算力，範圍從數學擴充套件到基礎科學。該基金會曾資助 Lean 證明助手的開發，是機器學習用於科學的早期支持者。