#And

智能AI None

Pythagoras-Prover：通过增强精益形式化推进高效的形式证明

arXiv:2606.12594v1 Announce Type: new Abstract: Modern Lean theorem provers achieve strong performance only with substan

and proof Lean

2026-06-12 Joshua Ong Jun Leang, Zheng Zhao, Mihaela C\u{a}t\u{a}lina Stoian, Qiyuan Xu, Haonan Li, Wenda Li, Shay B. Cohen, Eleonora Giunchiglia

智能AI None

人工智能代理的战略决策支持

12587v1 Announce Type: new Abstract: Traditionally, decision support studies how humans use machine learning models to m

support the and

2026-06-12 Shayan Kiyani, Sima Noorani, George Pappas, Hamed Hassani

智能AI None

Arbor：树搜索作为自主代理的认知层

12563v1 Announce Type: new Abstract: Arbor is a multi-agent framework that introduces structured tree search as a cognit

and the Arbor

2026-06-12 Neha Prakriya, Chaojun Hou, Zheng Gong, Huasha Zhao, Xi Zhao, Mou Li, Zhenyu Gu, Emad Barsoum

智能AI None

ToolSense：用于审核法学硕士参数化工具知识的诊断框架

12451v1 Announce Type: new Abstract: Large language models deployed as agents over large tool catalogs face a critical t

retrieval tool the

2026-06-12 Ashutosh Hathidara, Sai Shruthi Sistla, Sebastian Schreiber, Sahil Bansal

开源推荐 None

GitHub 热门项目：技能

GitHub项目：skills 仓库地址：https://github。com/mattpocock/skills Stars：125513 | 作者：mattpocock 项目描述：Skills for Real Engineers。St

you skills the

2026-06-11 GitHub Trending

数码硬件 None

OpenJPH 0.28 通过针对高吞吐量 JPEG2000 的新 AVX2 优化，速度提高了 1.9 倍

OpenJPH as an open-source implementation of high-throughput JPEG2000 Part-15 (or JPH or HTJ2K) is now significantly fast

for and OpenJPH

2026-06-11 Michael Larabel

开发者生态 None

请愿书撤回加拿大 C-22 法案

e-7416 Petition to the House of Commons Whereas: Bill C-22 authorizes regulations requiring designated "core providers"

and the any

2026-06-11 hmokiguess

开发者生态 None

AMD 无法修复的 RCE

The RCE that AMD wouldn’t fix After being interrupted multiple times by an annoying console window that would pop up per

the that and

2026-06-11 MrBruh

开发者生态 None

Waymo Premier

As we scale and bring our fully autonomous ride-hailing service to more people across the globe, we continue to refine t

and Waymo the

2026-06-11 boulos

开发者生态 None

美国太阳能发电量首次超过煤炭发电量

A herd of sheep graze near solar panels in Saltillo, Texas。

the and solar

2026-06-11 neilfrndes

开发者生态 None

软件是在提交之间制作的

I have never been a big fan of pull requests。

the and code

2026-06-11 jeremy_k

开发者生态 None

早期宇宙发现毁灭星系的风

An artist’s impression of the galaxy CRISTAL-02, with a huge plume of cold gas extending away from it。

the galaxies galaxy

2026-06-11 layer8

开发者生态 None

以色列付费美国影响者网络曝光 – – Imemc News

Leaked documents published by WikiLeaks and confirmed through filings with the U。

and the Israel

2026-06-11 untiledsource

智能AI None

微软利用 Alt Carbon 标志着印度在碳清除方面的作用日益增强

Alt Carbon said the agreement followed more than a year of scientific review and due diligence, with Microsoft requiring

and Alt Carbon

2026-06-11 Jagmeet Singh

开发者生态 None

Pool 的新应用程序可以将您的屏幕截图变成有用的东西

Pool's new app automatically sorts screenshots into personalized collections, tracks down the original links behind save

and you Pool

2026-06-11 Sarah Perez

智能AI None

这些国家正在采取行动禁止儿童使用社交媒体

Australia was the first country to issue a ban in late 2025, aiming to reduce the pressures and risks that young users m

the and social

2026-06-11 Aisha Malik

安全攻防 None

OceanLotus利用火蚁攻击中的SPECTRALVIPER攻击越南投资者

The Vietnam-aligned threat actor known as OceanLotus has been attributed to two distinct campaigns that targeted domesti

and The known

2026-06-11 info@thehackernews.com (The Hacker News)

智能AI None

足球数据复兴的内幕

Imagine tuning in to the opening kickoff of a World Cup match and seeing a player intentionally send the ball all the wa

the and Imagine

2026-06-11 Andrew Zaleski

智能AI None

谷歌 DeepMind 担心当数百万智能体开始交互时会发生什么

Google DeepMind is funding research into the potential dangers of situations where millions of different AI agents inter

the research agents

2026-06-11 Will Douglas Heaven

开源推荐 None

GitHub 热门项目：SpaTracker

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

https and github

2026-06-11 GitHub Trending