「学术平台」共找到 1513 篇相关文章
顶尖数学家含泪退圈：熬了多年的博士难题，被AI几周秒杀！
顶尖数学学者Rishikesh Gajjala靠AI攻破博士课题，却宣布退出学术圈。他认为AI生成证明虽精巧但难验证，“漂亮证明未验证和垃圾无异”。他投身形式化验证领域，而AxiomProver完成“246定理”形式化验证。
5Y News | 寻明生科完成数千万美元A+轮融资
近日，寻明生科宣布完成3500万美元A+轮融资，由红杉中国领投。资金将用于建设创新功能抗体设计平台AuraIDE™，打通智能体关键环节，加速创新药管线临床转化，其已实现千万美元商业收入。
11 万 Star 的开源项目，给 AI 编码代理补流程，这套 Superpowers 值得装
110多K Star的开源项目Superpowers，是完整软件开发工作流程，基于17个可组合“技能”。它采用Pull模式，用苏格拉底式追问澄清需求，工作流覆盖多领域，支持多平台，一行命令即可安装。
居然 11.5K star 了，这个一人公司的秘密项目有啥魔力！
做自媒体和内容运营重复工作多、效率低。开源项目`AiToEarn`用AI+自动化整合内容创作、发布等环节，支持多平台，有11.5k+ star，还介绍了安装使用方法。
不拼爹，拼AI！青少年们用Claude“写”出百万生意，圈粉25万投资者，谷歌风投也主动求合作？
AI 发展让创业者年龄走低。14 岁 Nick Dobroshinsky 创办 AI 金融平台 BeyondSPX；16 岁 Raghav Arora 开 AI 生鲜配送公司 GetASAP；14 岁 Alby Churven 先做游戏化教育应用，后转向开发 AI 编程工具。
从Apache顶级项目到创业征程:一个开源人的坚守与突围
作者王华杰将个人项目 StreamPark 捐给 Apache 成顶级项目，现又踏上创业路。他讲述项目成长历程，还推出基于此的 Awestream 平台，有提升开发效率等特性，助力企业实时计算。
一个数据集，一年产稿7876篇！AI强力加持，垃圾论文海量爆发
利用美国NHANES公共数据集，结合AI工具，研究者批量生产质量堪忧的论文。这不仅是技术滥用，更是科研评价体系扭曲的缩影。背后有论文工厂作祟，根源在于学术生态的扭曲。
实时语音翻译
Sokuji 是跨平台桌面应用，用 OpenAI、Google Gemini 等 API 提供实时语音翻译。支持多系统，有桌面版和浏览器插件，适配会议场景，还具备音频可视化、虚拟音频设备等特色功能。
每周产业洞察 | PixVerse C1正式发布，这意味着什么？
北京AIGC视听产业创新中心位于朝阳区东坝乡，由多方参与，采取‘共创、共建、共享’模式，提供六大服务平台，促进成果转化与场景落地。截至2025年8月，已汇聚近百家生态合作伙伴，由首创郎园运营。
每周产业洞察 | 互动叙事与AIGC驱动内容产业进入“双向重塑”新周期
北京AIGC视听产业创新中心位于朝阳区东坝乡，由多方参与，采取“共创、共建、共享”模式。首创郎园负责运营，提供六大服务平台，截至2025年8月已汇聚60余家生态合作伙伴。首创郎园拓展服务边界，项目延伸多地。