Skip to main content

acshame

acshame
acshame

  4. 微软发布了Phi-4-reasoning 模型。参数14b，开源推理模型。
    🔗 huggingface.co/microsoft/Phi-4-reasoning
    该模型基于约 140 万条精心筛选的 o3-mini 推理演示数据进行监督微调，并进行了少量强化学习。
    虽然是个小模型但跑分不低，特别是在AIME 25上。能力应该是侧重于数学和推理。

    #AI创造营# ​​​https://mapp.api.weibo.cn/fx/9bc92fe610f79abbd23d330b73ef44a9.html
    huggingface.co
    microsoft/Phi-4-reasoning · Hugging Face
    microsoft/Phi-4-reasoning · Hugging Face
    We’re on a journey to advance and democratize artificial intelligence through open source and open science.

  5. https://x.com/pangyusio/status/1917619556962689115?t=dpgj5z0oNSUGYYaD13qtVQ&s=35
    X (formerly Twitter)
    Pangyu 胖鱼 🐠 (@pangyusio) on X
    本硕博十年，我越来越明白：

    学习的本质，是为自己建立一个正反馈机制。

    让你可以心甘情愿地、每周投入几十小时，去阅读、思考、记忆、练习、总结。

    但这件事极其因人而异，智商在其中起着决定性作用。

    比如：
    对智商100的人来说，学微积分可能永远难以带来正反馈，学了三小时，困惑六小时。

  10. https://x.com/manateelazycat/status/1917511078105473078?t=Z-kxK2rJ7EKjnbS1j3PbnA&s=35
    X (formerly Twitter)
    Andy Stewart (@manateelazycat) on X
    DeepSeek 671B省流版：
    单张 NVIDIA 4090 显卡即可实现流畅推理，减少 93.3% 的显存占用，提升吞吐量达 5.76 倍。

    DeepSeek-Prover-V2-671B 是 DeepSeek AI 团队于 2025 年 4 月 30 日发布的开源大模型，专门针对数学定理证明任务进行了深度优化。以下是该模型的核心特性与技术亮点：

    1.

  14. https://x.com/dotey/status/1917248309732708761?t=dMDiP1Fxlf1_Ufn-Wtz--A&s=35
    X (formerly Twitter)
    宝玉 (@dotey) on X
    AI揭开阿尔茨海默病新致病机制，并发现潜在疗法

    最新研究表明，一个此前被认为是阿尔茨海默病标志物的基因实际上是导致该病发生的重要原因。美国加州大学圣地亚哥分校（UCSD）的研究团队利用人工智能（AI）技术，揭开了这一隐藏的致病机制，并找到了一种可以阻止这种基因“兼职”功能的潜在药物。