OpenAI数学证明未达学界标准，指南之争浮出水面
TechCrunch报道，OpenAI近期发布大量数学证明，却偏离了由数学研究者为其制定的指南。这些证明被指缺乏严格形式化、未充分引用文献，也未经过同行评审，引发数学界对AI生成数学结果可信度的质疑。事件折射出AI公司追求基准突破与学术规范
TechCrunch报道，OpenAI近期发布大量数学证明，却偏离了由数学研究者为其制定的指南。这些证明被指缺乏严格形式化、未充分引用文献，也未经过同行评审，引发数学界对AI生成数学结果可信度的质疑。事件折射出AI公司追求基准突破与学术规范
AI初创公司QueryStory近日走出隐身模式，宣布获得600万美元种子轮融资。该公司计划结合大语言模型（LLM）与网络安全技术，解决AI查询中信息不连贯、可信度不足的问题。在AI生成内容日益普及的今天，QueryStory试图为用户提供