Skip to content
K = 0.731Subscribe
Viewing history for 2026年10月18日 周日‹ Previous dayNext day ›AccelerationBack to now

Today’s AI news: editorial picks and emerging stories

2026.10.18 · Sun· The agent era

The universe is cooling.
Civilization is heating up.

One day, seen from outside time, and the stories that just moved civilization forward.

Subscribe to the daily briefingExplore the accelerationThe cost of intelligence
Get it as a 4K wallpaper →
The day's lead23:14Anthropic reports Claude traced five NIST elliptic curve seeds to timestampsAccording to Anthropic, an internal Claude research model reconstructed how five NIST elliptic curve seeds were generated in under half an hour, with independent verification by bounty organizer Filippo Valsorda. Claude identified patterns consistent with lrand48, used LLL lattice reduction to recover generator states, and traced initialization values to Unix timestamps between May 1997 and April 1998. Some skipped candidate curves, the B-163 seed, and certain curve base points remain unexplained.Read the story →

Pressure gauge · Trending now

Full trending list
  1. 1DeepSeek Releases V4.1-Flash-1017 as Providers Expand Access and Offer Promotional Pricing27.9
  2. 2Google DeepMind Says Four Gemini 4 Argon Agents Beat Minecraft Without Human Help11.6
  3. 3Meta Revises Business Terms After Publisher Backlash, Says Further Delay Is Possible10.8
  4. 4Anthropic Says Claude Reconstructed Five NIST Elliptic-Curve Seeds Using a Timestamp-Initialized Generator9.3
  5. 5Meta Releases Muse Spark Open With Mac and Cloud Support as Artificial Analysis Publishes Benchmarks7.7

Latest picks

Research

Research papers, technical reports, benchmarks and datasets.

10/17Sat
  1. 量子位82

    Anthropic reports Claude traced five NIST elliptic curve seeds to timestamps

    According to Anthropic, an internal Claude research model reconstructed how five NIST elliptic curve seeds were generated in under half an hour, with independent verification by bounty organizer Filippo Valsorda. Claude identified patterns consistent with lrand48, used LLL lattice reduction to recover generator states, and traced initialization values to Unix timestamps between May 1997 and April 1998. Some skipped candidate curves, the B-163 seed, and certain curve base points remain unexplained.

    Why it matters

    The account illustrates how testing numerical patterns can redirect an investigation shaped by historical recollections, with reproducible generator outputs providing a concrete basis for reconstructing the seeds’ origins.

  2. Google Research76

    Grounding AI agents in biological reality: Building blocks for autonomous wet labs

    Google Research presents three projects connecting AI agents with wet-lab experimentation through VERID laboratory automation, closed-loop aptamer discovery, and de novo protein binder design. Across three rounds, aptamer on-target hit rates reached 33.5% for myoglobin and 42.1% for α-thrombin; the protein design pipeline accelerated computational cycles more than eightfold and produced binders with single-digit nanomolar affinity. Integrating these projects remains a next step, with safeguards including sequence screening, simulation before robot execution, and human authorization and supervision.

    Why it matters

    The aptamer experiments illustrate how experimental feedback can expose misleading optimization targets, offering a transferable approach to distinguishing genuine biological improvements from artifacts in automated discovery workflows.

  3. Google DeepMind72

    Google DeepMind reports that four Gemini 4 Argon agents beat Minecraft from scratch in 27 hours. Operating in a sandbox using only code and text, they wrote 2,783 programs, divided up jobs over chat, shared notes, and debugged errors together, all with no human help. https://t.co/uyIhDOQXGT

    Quoted postMaxence Faldor@maxencefaldor

    Four Gemini 4 Argon agents, one shared Minecraft world, one goal: defeat the Ender Dragon. 27 hours and 2,783 self-written programs later, the dragon fell. https://t.co/Cx7Djg1VTx

    Why it matters

    The account offers a concrete example of agent coordination through code, chat, shared notes, and collaborative debugging during a task lasting 27 hours.

10/16Fri
  1. Hugging Face Blog82

    NVIDIA and AI4Bharat Introduce Nemotron-pretraining-Indic-v1 and an Open Data Generation Pipeline

    NVIDIA and AI4Bharat at IIT Madras introduce Nemotron-pretraining-Indic-v1, approximately 2.8 trillion tokens across 22 Indian languages, releasing soon alongside its open, GPU-accelerated generation pipeline. The corpus includes native-script text for all 22 languages and romanized text for twelve, translated from curated English sources with quality checks and source tracing. An Indic continued-pretraining stage improved five reported benchmarks, but combined synthetic and natural data, so the comparison does not isolate this corpus’s contribution.

    Why it matters

    The workflow offers a reusable approach to multilingual data generation by separating translation, quality assessment, repair, and script conversion while preserving links to source documents.

  2. Microsoft Research79

    Microsoft Research presents Magnetar for proof-based general-purpose computing

    Microsoft Research presents Magnetar, a zero-knowledge virtual machine that proves RISC-V program execution using security based only on standard hash functions. It supports programs written in Rust, Go, or C without requiring developers to rewrite them as cryptographic circuits. Across 15 benchmark programs, Microsoft reports average speeds 10 to 39 times faster than the fastest existing comparable zkVMs on the same machine, with proofs verified in about 12 milliseconds.

    Why it matters

    The benchmark comparisons connect proving speed with general-purpose execution and standard hash functions, clarifying the tradeoffs that have limited broader adoption of verifiable computing.

10/15Thu
  1. The Decoder81

    GPT-6-Astra solves 49 of 50 physics research problems at $2.40 apiece

    GPT-6-Astra, running in OpenAI's Codex environment without human hints, solved 49 of 50 TheoPhysEval problems across eleven theoretical physics subfields, costing just under $116 overall. Anthropic's Opus 5.5 scored 92 percent, while both models reached 92 percent without internet access. The researchers emphasize that the benchmark tests calculations using known methods, while choosing promising research questions remains a separate challenge for current agents.

    Why it matters

    The benchmark distinguishes proficiency in concrete physics calculations from the ability to choose fruitful research questions, clarifying which parts of scientific work its high scores actually measure.

  2. 雷锋网84

    Shanghai AI Laboratory’s Shusheng-S2 Helps Prove the Three-Dimensional Ghys Conjecture

    Xu Disheng’s team used Shanghai AI Laboratory’s Shusheng-S2 model in a human–AI collaboration to prove the three-dimensional Ghys conjecture, with a preprint posted on arXiv. Researchers guided seven rounds of recursive exploration as the problem graph expanded from 15 to 389 nodes. A Peking University team used its SHEAF framework to formalize all four main theorems, producing approximately 550,000 lines of Lean code in about five days and passing Lean checks.

    Why it matters

    The workflow offers a transferable approach to research mathematics, pairing expert guidance with recursive model exploration and organizing formal verification around a dependency graph of checkable proof tasks.

  3. Hugging Face Blog73

    HiRO-ACEv2 simulates extreme weather at 3 km resolution for a fraction of the cost

    Ai2 introduced HiRO-ACEv2, an updated climate emulator that generates global 3 km rain, wind, and pressure data at about 1/300th the cost of X-SHiELD. Given coarsened X-SHiELD data, its HiROv2 downscaling model matches high-resolution statistics to within 3%, even for events occurring once in a million data points. The system currently works only with ACE tuned to match X-SHiELD and cannot yet generate high-resolution data for other climates; downloadable models, tutorial notebooks, and a web demo are available.

    Why it matters

    The comparison with X-SHiELD gives researchers a concrete cost and accuracy reference for extreme weather simulations, with applicability currently limited to the climate represented in training.

10/13Tue
  1. 宝玉76

    Baoyu summarizes Anthropic research in which GLM-5.2 alone completed a replication workflow across simulated Android servers, while smaller models failed. The experiment used unauthenticated ADB access and ran GLM-5.2 remotely to deploy Llama3.1-8B, limiting what the results establish about autonomous spread. Anthropic roughly projects that smaller models could match GLM-5.2’s tested capability by year-end based on general capability trends. Researchers also manually distributed Gemma4-26B-A4B across 15 Android TV boxes, achieving 0.39 tokens per second.

    Quoted postWilliam Zhou@willzhou97

    Excited to share a research blog post that Daniel Freeman (@bucketofkets) and I have been working on for the past few months: https://www.anthropic.com/research/self-replicating-ai

    Why it matters

    The experimental setup helps distinguish successful replication under simplified conditions from autonomous spread on consumer devices, clarifying the limits of the projected timeline for smaller models.

  2. 量子位80

    GPT-6 Astra helps mathematics enthusiast nor prove five circle-packing cases

    QbitAI reports that mathematics enthusiast nor used GPT-6 Astra to prove optimality for packing 15, 16, 17, 18, and 20 unit disks inside a circle, completing the remaining cases for N≤20. The approach combines geometric constraints, finite computational enumeration, and exact optimality arguments. Nor describes substantial human involvement, including guiding the model, fixing issues, manually verifying validity, and rechecking the work with Astra and Opus 5.5.

    Why it matters

    The reported proof strategy shows how geometric constraints can reduce an infinite search space to finite cases, with rigidity arguments connecting computational elimination to exact optimality.

  3. Microsoft Research65

    Simulating student learning for better AI tutoring

    Microsoft Research introduces StudentSim, a research system that trains personalized student simulators from publicly available, de-identified learner records to evaluate and improve AI tutors. StudentSimEval measures behavioral fidelity and guidance responsiveness across chess, second-language English writing, and mathematics, where StudentSim outperforms leading baselines. In a chess tutor study, training with StudentSim feedback achieves 90.5% accuracy versus 75.7% without reinforcement learning and 71.6% with GPT-5.4 feedback; real learner studies remain essential, and the paper and code are publicly available.

    Why it matters

    Evaluating both a simulated learner’s starting ability and response to guidance offers a concrete method for assessing tutor feedback beyond the correctness of an explanation.

10/12Mon
  1. The Decoder81

    Google DeepMind’s AlphaProof Nexus solves dozens of open math problems in peer-reviewed study

    Google DeepMind’s AlphaProof Nexus solved dozens of open math problems, according to a peer-reviewed study in Science, including nine of 353 open Erdős problems, two unsolved for 56 years. It also proved 44 OEIS conjectures, solved an open algebraic geometry question, and improved a min-max optimization bound. Built around Gemini 3.1 Pro, it drafts and revises proofs in Lean using checker feedback and can call AlphaProof for harder sub-problems, though DeepMind reports it solved the nine Erdős problems without that tool.

    Why it matters

    DeepMind’s use of peer review provides a concrete comparison with OpenAI’s publication of AI proofs on GitHub amid a debate over how AI mathematics should be evaluated.

10/11Sun
  1. 量子位88

    OpenAI Posts Two Kakeya Conjecture Manuscripts, Extending Work to Four Dimensions

    On October 7, OpenAI released 722 mathematics manuscripts, including two on the Kakeya conjecture: a 97-page paper claiming a three-dimensional maximal-function result stronger than Wang and Zahl's, and a 175-page paper claiming the four-dimensional Hausdorff dimension case. Both are attributed to OpenAI, are not Lean-formalized or peer-reviewed, and OpenAI's README says some unformalized results may be flawed.

    Why it matters

    The piece traces how two OpenAI manuscripts extend Wang and Zahl's three-dimensional Kakeya work to a stronger maximal-function version and to four dimensions, while noting the proofs lack peer review.

10/9Fri
  1. Sundar Pichai66

    Google and Beth Israel Deaconess Medical Center published an AMIE study in The Lancet, described by Sundar Pichai as the first prospective study of patient-facing conversational diagnostics in a real clinic. In urgent care testing, clinicians said AMIE's summaries helped them prepare for visits in 75% of cases and influenced their approach to care in more than half; its differential diagnoses matched doctors' final diagnoses 90% of the time.

    Why it matters

    A prospective clinic study of a patient-facing conversational diagnostic system, with clinician-reported preparation and diagnosis-agreement figures from real urgent care visits.

10/8Thu
  1. Google Research62

    Google Research's three-month patent-writing experiment found AI boosted output but did not accelerate junior lawyers' independent judgment

    Google Research published a three-month field experiment on patent drafting through NBER. It randomly gave 133 lawyers at 11 intellectual-property law firms access to an unpublished Google Labs AI patent-writing assistant, now part of Gemini Notebook; two-thirds received early access.

    Why it matters

    The three-month patent-writing experiment separates AI's immediate productivity gains from changes in unaided judgment, providing comparative evidence on AI's effect on professional skills.

10/7Wed
  1. Hugging Face Blog62

    Nemotron fine-tuning reaches gold-medal level at both IOI 2026 and IMO 2026

    The NVIDIA team started with Nemotron 3 and used supervised fine-tuning, reinforcement learning, and a generate-verify-improve reasoning process to build specialized models that reached gold-medal thresholds at both IOI 2026 and IMO 2026.

    Why it matters

    The source gives a complete recipe for fine-tuning Nemotron 3 to gold-medal-level results at IOI and IMO, which readers can use to reproduce its data and reasoning workflow.

  2. OpenAI News62

    OpenAI announces progress by an internal frontier model on open math problems

    OpenAI released new results by an internal frontier model on open math problems and published Lean formalizations and research details on GitHub.

    Why it matters

    OpenAI made results by an internal frontier model on open math problems public alongside Lean formalizations, showing how model reasoning can be combined with formal verification.

10/4Sun
  1. Hugging Face Blog71

    Microsoft's ThinkingBox agent benchmark checks final database state, not tool calls

    The Microsoft Copilot Studio team and Hugging Face jointly released ThinkingBox. It runs agents in isolated MCP tool sessions and then performs executable checks on final backend state and side effects, rather than judging only the final reply or whether tool calls were allowed.

    Why it matters

    The agent benchmark from Microsoft and Hugging Face uses 507 stateful workflows and 20 repeated runs, shifting the focus from tool calls to the final database state.

10/3Sat
  1. AI at Meta66

    Meta said that after AI models achieved gold-medal-level performance in five math, physics, and chemistry competitions, it had mathematicians work with Muse Spark 1.1 and 1.2 in Thinking Mode through the meta.ai chat interface to solve open problems with no existing solution path and no custom research scaffolding.

    Why it matters

    Meta made six papers from mathematicians' collaboration with Muse Spark public and described the division of work between people and AI and the review process.

10/2Fri