Friday, October 30, 2026Verified technology journalism
Science & Frontier — ProvenBrief section
Topic

Science & Frontier

Research results and frontier work in AI, space, bio and physics — the papers before the press releases.

Latest in Science & Frontier · page 2

39 stories
31One in three new arXiv papers now reads as AI-written, rigorous measurement study findsJul 21

One in three new arXiv papers now reads as AI-written, rigorous measurement study finds

32AI Models Are Demolishing Longstanding Math Conjectures. The Jacobian Conjecture Is Latest to FallJul 21

AI Models Are Demolishing Longstanding Math Conjectures. The Jacobian Conjecture Is Latest to Fall

33Xiaomi trained a robot foundation model on 100,000 hours of real-world manipulation data, and the scaling laws show no signs of stoppingJul 20

Xiaomi trained a robot foundation model on 100,000 hours of real-world manipulation data, and the scaling laws show no signs of stopping

34An AI agent appears to have disproved one of mathematics' most famous open conjectures, and the math world is debating it liveJul 20

An AI agent appears to have disproved one of mathematics' most famous open conjectures, and the math world is debating it live

35AI advice made people three times less accurate but twice as confident, and the researchers say the mere availability of AI suppresses the ability to recognize what you don't knowJul 20

AI advice made people three times less accurate but twice as confident, and the researchers say the mere availability of AI suppresses the ability to recognize what you don't know

36India's first private rocket reached orbit on its first attempt, a feat that took SpaceX four tries, signaling that the commercial space race is no longer an American duopoly with ChinaJul 20

India's first private rocket reached orbit on its first attempt, a feat that took SpaceX four tries, signaling that the commercial space race is no longer an American duopoly with China

37Researchers found that editing a single README file can hijack AI coding agents into installing malicious packages, exposing a systemic supply-chain blind spotJul 19

Researchers found that editing a single README file can hijack AI coding agents into installing malicious packages, exposing a systemic supply-chain blind spot

38In one week, GPT-5.6 proved a 50-year-old conjecture, closed a 30-year-old optimization gap, and solved every IMO 2026 problem, signaling that LLMs have crossed a threshold in formal mathematical reasoningJul 19

In one week, GPT-5.6 proved a 50-year-old conjecture, closed a 30-year-old optimization gap, and solved every IMO 2026 problem, signaling that LLMs have crossed a threshold in formal mathematical reasoning

39DeepMind's $200K 'Measuring AGI' Kaggle hackathon awarded a $25K grand prize to a submission the data-science community is calling blatant AI-generated slopJul 18

DeepMind's $200K 'Measuring AGI' Kaggle hackathon awarded a $25K grand prize to a submission the data-science community is calling blatant AI-generated slop