最新模型

新模型、開放權重、多模態、語音、影像與模型架構。

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.

電腦視覺

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.

最新模型

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.

最新模型

EXAONE Finance Releases 202M-Parameter Attention-Free Time-Series Model, with Separate Licenses for Weights and Code

LG AI Research replaces self-attention with causal convolutions and a group-aware MLP, allowing computational costs to scale linearly with sequence length and the number of variables. The model outperformed 43 baselines on the team’s own FinVerse benchmark, but noncommercial model weights and independently unreproduced investment performance limit its immediate deployment value.