「大学生国际数学竞赛」共找到 507 篇相关文章
陶哲轩：AI 已经把想法成本降到几乎为0了...
著名数学家陶哲轩在与播客主持人Dwarkesh Patel的对谈中分享使用AI一年后的观点，认为AI已将想法生成成本降至几乎为零，但验证和评估成新瓶颈，还探讨其对数学研究的影响及未来发展。
97年金融男带8只「电商龙虾」全球开店！2个月后同行慌了
阿里版「电商龙虾」Accio Work打通国际站，一个工作台可全包选品、发品等七个岗位的活。它结合多维度数据助力选品，还能进行广告诊断、店铺运营等，在不同商家案例中成效显著。
成本不到8千美元！新浪微博1.5B小模型超越近万亿参数模型
新浪微博开源的VibeThinker - 1.5B模型，仅15亿参数、训练成本不足8000美元，却在顶级数学竞赛基准击败近万亿参数模型。它采用频谱到信号原则，分两阶段训练，性能出色，成本低且数据无污染。
Solo 创始人做 ToB AI 产品，2 年没融资也做到了 800 万美金 ARR
前几天Arcads创始人Romain Torres称2024 - 2025年做AI笔记等方向SaaS产品，能达100万美金ARR。Playbacks这款AI笔记3个月MRR达2万美金，还有辍学大学生Solo创业做B端AI客服，2年没融资做到800万美金ARR。
AI教父Hinton暴论：AI永生之日，全人类变烤面包倒计时！
在Gitex Europe开幕日，「AI教父」Hinton接受专访，表达对AI发展的看法。他认为AI可深刻改变多领域，未来十年有望在数学领域超越人类，也指出AI能耗问题，担心人类触及能源极限，还强调AI可能灭绝人类，呼吁政府监管。
DeepMind AlphaProof 前负责人谈2025年IMO
前Google DeepMind AlphaProof项目联合负责人Rishi Mehta发布关于2025年IMO结果的分析。今年OpenAI和Google DeepMind双双宣布达到金牌水平，解法各有特点。Mehta预测前沿大语言模型明年或开箱即用获奖牌，未来6个月内或攻克非平凡开放数学问题。
无需标注和奖励模型！仅靠自信度RL，16个样本训练20步，效果飙升21%！
论文提出RLSC，让大语言模型用自身答案置信度作奖励信号，摆脱人类标注依赖。它以模型自信度内部信号替代多数投票外部信号，小成本提升模型数学能力，还让模型学会快推理，不过也存在安全隐忧。
起底张汝京
本文讲述张汝京投身中国芯片事业的故事。他出身科研家庭，心怀家国情怀，辗转多地建厂。回大陆创办中芯国际，解决资金、人才等难题，却遭台积电诉讼。后投身LED、硅片、CIDM等领域，为产业补短板。
GPT-5败下阵，这款中国AI拿下全球第一，众多医生已在用它做诊断
国家卫健委推进“人工智能+基层应用”，基层医生需实用AI助手。未来医生AI工作室的MedGPT在临床“安全”与“有效性”评测击败国际知名大模型夺冠，其两款助手获医生认可，被视为AI赋能基层医疗最佳实践。
Palantir活成了所有FDE羡慕的模样：被骂十年外包，股价一天暴涨29%
8月3日美股盘后，Palantir交出2026年二季报，业绩亮眼致次日股价涨29.45%。此前它被看空，因其交付方式被指像外包。但从财务看它利润率高，且业务增速快，不过高估值和国际业务仍存挑战。