#Alpha discovery
105 related articles
·3 min
Can GPT-5.6 Prove a 50-Year Graph Theory Conjecture? The Boundaries and Verification of AI Mathematical Reasoning
GPT-5.6 Soul Ultra claims to prove the 50-year-old Cycle Double Cover Conjecture in under an hour using 64 parallel agents. We examine the technical path, missing peer review, and formal verification gaps.
Read more →
How NVIDIA BioNeMo Breaks Through Co-F…
·2 min
How NVIDIA BioNeMo Breaks Through Co-Folding End-to-End Performance Bottlenecks
How NVIDIA BioNeMo Agent Toolkit uses agent-based orchestration to solve MSA preprocessing, pipeline scheduling, and end-to-end bottlenecks in OpenFold3 co-folding workloads for drug discovery.
Read more →
AI Agents Playing Games: The Technical…
·2 min
AI Agents Playing Games: The Technical Value and Research Significance Behind the Fun
Why do AI agents play games? Explore how games serve as ideal AI training environments — from DeepMind's AlphaGo to LLM-driven agent experiments — and why game-playing benchmarks matter.
Read more →
Using Claude for Constrained Optimizat…
·2 min
Using Claude for Constrained Optimization Research: The Promise and Limits of AI-Automated Science
How Claude and LLMs assist constrained optimization research — from problem modeling to solver integration. An honest look at AI's real capabilities and limits in automated science.
Read more →
·5 min
GPT-5.6 Launches: Comprehensive Upgrades to ChatGPT Work, Sites, and Desktop Client
OpenAI releases the GPT-5.6 model family, launching enterprise-focused ChatGPT Work, one-click ChatGPT Sites, and a major desktop client upgrade, with coding now ahead of rivals. Meta, Google, and Kimi follow intensively.
Read more →
·4 min
AI Coding Tool Data Leakage Risks: A Security Guide for Protecting Quantitative Strategies
AI coding tools carry cloud data transmission risks, exposing quantitative trading strategies to leakage. This article analyzes AI tool data security and offers protection strategies.
Read more →
·6 min
GPT-5.6 Hands-On Deep Dive: ChatGPT and Codex Merge, Full Analysis of the Sol Model
GPT-5.6 is officially released, merging ChatGPT and Codex into one app and launching the three-tier Sol, Terra, and Luna models. A detailed breakdown of 16 hands-on tests plus Worker mode and Codex dev upgrades.
Read more →
·6 min
OpenAI Releases GPT-5.6: Cybersecurity Capabilities Take Center Stage
OpenAI launches the GPT-5.6 model family with cybersecurity as its biggest highlight. A deep analysis of GPT-5.6's differentiation, double-edged-sword effect, and enterprise strategy.
Read more →
·3 min
GLM-5.2 Coming Soon? Domestic GPU Code LLM MUSA Coder Goes Open Source
GLM-5.2 enters internal testing; Moore Threads open-sources MUSA Coder, China's first code LLM trained on domestic GPUs; Google backs Anthropic with $35B in guarantees.
Read more →
·5 min
GPT-5.6 Explained: Sol, Terra & Luna — Tiered Positioning and Capability Comparison
OpenAI releases the GPT-5.6 series with flagship Sol, balanced Terra, and lightweight Luna. An in-depth look at each model's positioning, use cases, pricing, and the multi-agent Ultra architecture.
Read more →
·7 min
Tripadvisor AI Summaries 'Whitewashing' Problematic Hotels? Essential Safety Concerns for Travelers
Tripadvisor's AI review summaries are generating positive assessments for hotels with safety hazards while downplaying critical warnings. Deep analysis of causes and practical user protection tips.
Read more →
·5 min
U.S. Treasury Warns of AI Bubble Risk: Systemic Concerns and Investment Rationality
The U.S. Treasury has issued a rare internal warning that the AI investment boom may be forming an asset bubble, with valuations detached from fundamentals and systemic risks mounting.
Read more →
·3 min
Zhipu GLM-5.2 Officially Launches | Full Breakdown of Anthropic's U.S. Export Control
Zhipu GLM-5.2 launches with tiered thinking and long-context support, while Anthropic faces rare U.S. export controls over AI security vulnerabilities. Full breakdown.
Read more →
·6 min
Anthropic Launches Life Sciences Hackathon with $100K to Empower AI-Driven Research
Anthropic launches a global life sciences hackathon with Gladstone Institutes, offering $100K in API credits to advance AI-driven scientific research using Claude Science and Claude Code.
Read more →
·5 min
Tracking a Year-Long Crash Mystery: A Complete Investigation of Hardware Defects and an 18-Year-Old Open Source Bug
An engineering team spent a year tracing crashes to two root causes: a silent hardware defect and an 18-year-old open source bug. A deep dive into debugging methodology for distributed systems.
Read more →
The Diffusion Model Revolution: The Ne…
·2 min
The Diffusion Model Revolution: The Next Frontier in AI Drug Discovery
Former Meta Llama lead Sergey Edunov joins Genesis Molecular AI, betting on diffusion models for drug discovery. PEARL achieves zero-shot top results on OpenBind.
Read more →
·4 min
Adding a 'Repair Layer' to Open-Source Models: How DeepSeek Can Outperform Claude Opus
Independent developer Ahmad Awais found that open-source LLM failures stem from Tool Calling bugs, not model capability. A deterministic repair layer + repair hints can make DeepSeek outperform Claude Opus.
Read more →
GPT-5.6 Sol Deep Dive: Major Upgrades …
·3 min
GPT-5.6 Sol Deep Dive: Major Upgrades Across Coding, Science, and Cybersecurity
OpenAI previews GPT-5.6 Sol, featuring major upgrades in coding, scientific research, and cybersecurity alongside its most advanced safety stack yet.
Read more →
GeneBench-Pro: A New AI Benchmark for …
·2 min
GeneBench-Pro: A New AI Benchmark for Genomics and Life Sciences Research
GeneBench-Pro is an AI benchmark designed for genomics and life sciences, using real-world datasets to evaluate research-grade AI capabilities across biology and scientific workflows.
Read more →
Firecrawl Goes Free Again and Launches…
·2 min
Firecrawl Goes Free Again and Launches SOTA Research Index — A Turning Point for AI Research Agents
Firecrawl goes free again and launches a SOTA Research Index, giving AI research agents real-time access to scientific knowledge. Here's what it means for RAG, scientific reasoning, and AI-assisted discovery.
Read more →