🌟 本日のヘッドライン
Fields Medalist says ChatGPT 5.5 Pro delivered "PhD-level" math research in under two hours with zero human help
Fields Medalist Timothy Gowers used ChatGPT 5.5 Pro on open number theory problems, with the model improving an exponential bound to polynomial in under an hour using what an MIT researcher called 'completely original' reasoning, demonstrating AI's capability for independent cutting-edge mathematical contributions.
💬 編集コメント
重要なのはスピードではなく権威の転換。数学界の最高権威がAIの独創性を認めた瞬間、AIは『道具』から『研究者』へ昇格。学問そのものの可能性の定義が塗り替わる。
新製品
Zyphra presents ZAYA1-8B, a reasoning-focused mixture-of-experts model with 700M active parameters from 8B total, trained on AMD infrastructure. It matches or exceeds DeepSeek-R1-0528 on math and coding benchmarks despite having under 1B active parameters.
Claude Code released version 2.1.138, a routine maintenance update focused on internal improvements and stability enhancements. This point release does not introduce any new user-facing features or major functionality changes.
Ollama v0.30.0-rc11 release candidate brings critical fixes for Windows build systems and developer workflows. Specifically, it resolves issues where compiler paths containing spaces would cause build failures, a widespread problem on Windows machines where default installation directories often include spaces in their names. These path issues have prevented successful compilation for many users.
オピニオン
DBMSolver is a training-free sampler for Diffusion Bridge Models that accelerates image-to-image translation by exploiting semi-linear SDE/ODE structure through exponential integrators, achieving 1st and 2nd-order solutions while significantly reducing required function evaluations (NFEs).
Introduces horizon-constrained Rashomon sets, a theoretical framework characterizing how model multiplicity evolves with prediction horizon in chaotic systems, showing exponential growth unlike static prediction tasks, providing new insights into forecasting under uncertainty.
Examines robustness of Graph Self-Supervised Learning (GSSL) methods trained on automatically extracted knowledge graphs from text containing real-world noise, filling a gap in prior research that assumed clean, curated graph data.