#models

智能AI None

ImProver 2：用于神经符号证明优化的迭代自我改进 LM

arXiv:2605.22885v1 Announce Type: new Abstract: Formal mathematics libraries are rapidly expanding, creating a growing n

and proof that

2026-05-25 Riyaz Ahuja, Tate Rowney, Jeremy Avigad, Sean Welleck

智能AI None

教授语言模型通过比较想法评估来预测研究成功

arXiv:2605.21491v1 Announce Type: new Abstract: As language models accelerate scientific research by automating hypothes

and models research

2026-05-23 Srujan P Mule, Aniketh Garikaparthi, Manasi Patwardhan

开源推荐 None

GitHub 热门项目：exo

GitHub项目：exo 仓库地址：https://github。com/exo-explore/exo Stars：44843 | 作者：exo-explore 项目描述：Run frontier AI locally。

exo and https

2026-05-21 GitHub Trending

开发者生态 None

PopuLoRA：共同进化法学硕士群体的推理自我游戏

PopuLoRA: Co-Evolving LLM Populations for Reasoning Self-⁠Play Authors Roger Creus Castanyer, Geoffrey Bradway, Lorenz W

training can the

2026-05-20 AMavorParker

智能AI None

我给了我的 OpenClaw 特工一个实体

The coding skills of AI models are about to make it much easier to build and deploy robots。

The coding skills

2026-05-20 Will Knight

开发者生态 None

Qwen3.7-Max：特工前沿

【HN用户评论摘要】 As they start to release more proprietary models, I so wish that they partnered with one of the major US hype

they not models

2026-05-20 kevinsimper

智能AI None

实施文档 AI：生产中 OCR 和 LLM 管道的微服务架构

arXiv:2605.18818v1 Announce Type: new Abstract: Academic research tends to focus on new models for document understandin

the models for

2026-05-20 Yao Fehlis, Benjamin Bengfort, Zhangzhang Si, Vahid Eyorokon, Prema Roman, Patrick Deziel, Devon Slonaker, Steve Veldman, Ben Johnson, Joyce Rigelo, Michael Wharton, Steve Kramer

智能AI None

Google I/O 2026 上公布的一切：Gemini、搜索、智能眼镜

Google is sprucing up its Gemini models, revamping search, and enabling AI agents in everything。There are also some spif

Google sprucing its

2026-05-19 Boone Ashworth, Michael Calore

安全攻防 None

微软推出搭载英特尔芯片的 Surface Pro 12 和 Surface Laptop 8

Almost exactly two years ago, Microsoft introduced Arm-powered versions of the Surface Pro 11 and Surface Laptop 7, with

Surface models Microsoft

2026-05-19 Tom Warren

开源推荐 None

GitHub 热门项目：gemma_pytorch

GitHub项目：gemma_pytorch 仓库地址：https://github。

Gemma the google

2026-05-18 GitHub Trending

开源推荐 None

GitHub 热门项目: smol-course

GitHub项目：smol-course 仓库地址：https://github。com/huggingface/smol-course Stars：6644 | 作者：huggingface 项目描述：A course on aligni

course models and

2026-05-18 GitHub Trending

开发者生态 None

Agora-1：多智能体世界模型

Agora-1: The Multi-Agent World Model Agora-1 enables multiple participants—human or AI—to share and interact within the

world Agora and

2026-05-18 olivercameron

智能AI None

公平的产出，有偏见的内部：法学硕士高风险决策中潜在偏见的因果效力和不对称性

15217v1 Announce Type: new Abstract: Instruction-tuned language models exhibit behavioural fairness in high-stakes decis

and models decisions

2026-05-18 Jagdish Tripathy, Marcus Buckmann

开发者生态 None

SANA-WM，1分钟720p视频的2.6B开源世界模型

【HN用户评论摘要】 The trouble is the lack of training available to these models compared to the ones like Seedance and Kling wh

the with and

2026-05-16 mjgil

安全攻防 None

Anthropic和黄仁勋，都在担心 Deepseek+华为

文 | AI唱反调 这两天，X 上在转 Anthropic 5 月 14 日发的那份《2028: Two Scenarios for Global AI Leadership》（《2028：全球 AI 领导地位的两种情景》）。4 万字，整体

Anthropic and class

2026-05-16 AI唱反调

开源推荐 None

GitHub 热门项目：fluxgym

GitHub项目：fluxgym 仓库地址：https://github。

https com models

2026-05-15 GitHub Trending

智能AI None

超越模式搜索强化学习：扩散语言模型的轨迹平衡后训练

13935v1 Announce Type: new Abstract: Diffusion language models are a promising alternative to autoregressive models, yet

the models reward

2026-05-15 Saba Ahmadi, Prasanna Parthasarathi, Yufei Cui

智能AI None

不中断的转向：离散扩散语言模型的机械知情干预

10971v1 Announce Type: new Abstract: Discrete diffusion language models (DLMs) generate text by iteratively denoising al

the uniform and

2026-05-13 Hanhan Zhou, Shamik Roy, Rashmi Gangadharaiah

智能AI None

世界模型：目前人工智能中最重要的 10 件事

World models recently made our list of 10 Things That Matter in AI Right Now。Watch executive editor Niall Firth explain

World models recently

2026-05-12 MIT Technology Review

智能AI None

Toeplitz MLP 混合器是低复杂性、信息丰富的序列模型

06683v1 Announce Type: new Abstract: Transformer-based large language models are in some respects limited by the quadrat

and the are

2026-05-11 Benjamin L. Badger, Ethan Roland