GitHub Repo

GitHub 熱門專案、開源工具、框架、runtime 與重要 release。

AI 科研/形式驗證

OpenAI Releases Navier–Stokes Singularity Proof and Lean Certificate, but Mathematical Verification Is Just Beginning

OpenAI claims that an unreleased multi-agent system more capable than GPT‑6 Astra has constructed a proof that the three-dimensional Navier–Stokes equations lose smoothness in finite time under smooth external forcing. The team also released a Lean 4 formalization, but formal verification does not mean the mathematical community has accepted it as a solution to the Millennium Prize Problem.

推論系統

Unsloth 0.1.807-beta Switches AMD APUs to Vulkan by Default, Boosting Strix Halo Prefill Performance by Up to 23%

Unsloth Desktop now uses Vulkan for Strix Halo, Strix Point, and AMD iGPUs without ROCm support, while also reducing the MLX KV cache footprint and installation package size. The performance figures come from official tests, but users have reported that the interface still displays ROCm after upgrading, so automatic backend selection still needs verification on real hardware.

電腦視覺

WorldSculpt Decomposes Scenes with Hundreds of Objects Using a Single-Object Generative Prior, but Still Relies on Masks and Camera Poses

Alaya Lab and the University of Tokyo have introduced WorldSculpt, which generates each object in multi-view images as a complete, independently editable mesh before assembling the scene through rigid transformations. Although the model is fine-tuned only on single-object data, it can handle test environments containing 93 to 701 objects; however, it still requires reliable instance masks, 3D bounding boxes, and camera poses as input.

AI 安全

knowns Discloses Eight Vulnerabilities at Once: Version 0.30.0 Fixes Admin Interface, but Latest Release Still Has SSRF

New security records for knowns, an AI project memory tool, show that older versions bound an unauthenticated administrative API to all network interfaces by default and contained path traversal, command injection, and MCP authorization bypass vulnerabilities. Most issues were fixed in version 0.30.0, but the model testing endpoint in version 0.33.0 can still send requests to arbitrary addresses, with no confirmed patched release available.

代理工具

AG2 1.0.4 Adds ACP Session Recovery, Tool Argument Validation, and Concurrency Limits

AG2 1.0.4 adds ACP `session/load`, MCP tool namespaces, and configurable subagent fan-out limits, making long-running agents easier to resume while keeping resource usage under control. The release also brings tool blocklists, argument validation, and structured tool results into governance and tracing paths, although session state may still be distributed across external agent processes.

最新模型

Optuna 5.0 Changes Its Default Search Strategy, While Rustuna Tackles Framework Overhead in Large-Scale Trials

In its first major change to the default sampler since version 1.5, Optuna 5.0 adopts multivariate TPE and Constant Liar for single-objective search, while replacing NSGA-II with TPE for multi-objective search. Released alongside it, Rustuna reimplements a compatible core in Rust to target sampling and storage bottlenecks in workloads involving hundreds of thousands of fast evaluations.