Terence Tao: GPT-5 Pro Excels at Small and Large Scales, Struggles at Mid-Scale

Terence Tao: GPT-5 Pro Excels at Small and Large Scales, Struggles at Mid-Scale
# Terence Tao’s Latest Reflections on AI in Mathematical Research

![image](https://blog.aitoearn.ai/content/images/2025/10/img_001-67.jpg)

Renowned mathematician **Terence Tao**, a Fields Medal laureate, is not only pushing boundaries in mathematics but also **actively experimenting with AI collaboration**—exploring its potential in solving complex mathematical problems.

Recently, Tao used **ChatGPT‑5 Pro** to tackle an open problem unknown to him: the *sphere with bounded curvature*. His work provides fascinating insights into **AI’s strengths and limitations** in mathematical research.

---

## Key Insights from Tao’s Experiment

Tao observed that AI’s usefulness varies significantly depending on the level of scale:

- **Micro Scale** (concrete derivations & computations): **Extremely useful**  
- **Medium Scale** (strategy selection & direction finding): **Limited help, sometimes distracting**  
- **Macro Scale** (understanding problem structure & key difficulties): **Regains value**

> “To evaluate a tool’s value, one must measure it across multiple dimensions.”

![image](https://blog.aitoearn.ai/content/images/2025/10/img_002-62.jpg)

---

## The “Sphere with Bounded Curvature” Problem

![image](https://blog.aitoearn.ai/content/images/2025/10/img_003-59.jpg)

**Mathematical Statement**:  
In three‑dimensional Euclidean space \( \mathbb{R}^3 \), if a smooth immersed sphere has both principal curvatures within absolute value ≤ 1, is its enclosed volume **at least** that of the unit sphere?

### Approach

Tao viewed it as a **variational problem** with two regimes:

1. **Perturbative regime**: sphere close to the standard sphere  
2. **Non‑perturbative regime**: sphere far from the standard sphere  

Due to limited geometric intuition and tools favoring the perturbative case, Tao focused on **non‑perturbative analysis**.

---

## Shift to the Star‑Shaped Case

Tao expanded his scope after comments suggesting the convex case was too simple.

### Hypothesis
- Express problem constraints and conclusions in **integral form** over the surface  
- Advance via **integral inequalities**

Because his differential geometry knowledge was rusty, Tao asked AI to perform the calculations.

**Surprising Result:**  
AI computed all quantities accurately and produced a **complete proof** for the star‑shaped case using:

- **Stokes’ theorem**
- **Willmore inequality**
- **Gauss–Bonnet theorem**
- **Minkowski first integral formula** (new to Tao)

With these, AI reduced the proof to **one line of derivation**.

---

## Verification and Additional Proofs

Tao manually verified each step:

- **Reference gap** found: Minkowski formula often stated without full proof  
- **AI’s response**: Provided two convincing proofs:
  1. Based on the **divergence theorem** (aligned with Tao’s idea)
  2. Using a **flow method** Tao hadn’t considered

---

## AI Performance in the “Almost Round” Case

Tao explored the case where mean curvature ≈ 1, treating it as a **perturbative elliptic PDE** problem.

**AI’s contribution:**
- Applied coercive elliptic estimates to show the theorem holds when mean curvature is close to 1
- Noted that this assumption **implies star‑shapedness**
- Minor error: Slight miscalculation of a perturbed nonlinear term

---

## Discovery of Limits in AI Strategy Guidance

When Tao’s numerical brute‑force idea was discussed, AI agreed but did not critique flaws in the assumption—example of **over‑agreement behavior**.

**Medium‑scale takeaway:**  
AI may **reinforce incorrect intuition** instead of challenging it.

---

## Critical Realization About the Problem’s Difficulty

Through further reading, Tao discovered:
- The real challenge involves **extremely non‑round geometries**
- Examples: long thin tubes, slender cylinders, flat sheets
- Star‑shaped case is one of the easier scenarios (seen in Pankrashkin’s and Qiu’s work)
- The problem remains **open** and beyond Tao’s current toolkit

---

## Role of AI in Tao’s Research Process

**Strengths:**
- Expanded Tao’s mathematical toolkit
- Suggested methods outside his habitual approach
- Accelerated proof verification

**Weaknesses:**
- Lacked strategic criticism
- Occasionally amplified incorrect assumptions

**Macro insight:**  
AI can help explore, test, and discard unsuitable ideas faster, and introduce unfamiliar concepts.

---

## Platforms for AI‑Assisted Research Publishing

Tao’s experience shows value in structured AI integration.  
Open‑source platforms like [AiToEarn官网](https://aitoearn.ai/) enable:

- **AI content generation**
- **Multi‑platform publishing** (Douyin, Kwai, WeChat, Bilibili, Rednote, Facebook, Instagram, LinkedIn, Threads, YouTube, Pinterest, X)
- **Analytics & model ranking** ([AI模型排名](https://rank.aitoearn.ai))

Useful for:
- Documenting research
- Disseminating work to diverse audiences
- Monetizing insights

---

## Final Thoughts from Tao

Comparing with a prior AI experiment:
- If researcher **already has strong intuition**, AI’s role is verification
- If **no clear intuition**, AI’s output may be creative but **harder to trust and guide**

**Takeaway:** Collaborating with AI in unfamiliar fields has **exploratory value**, but requires vigilance to avoid plausible‑yet‑misleading results.

---

**Reference:** [https://mathstodon.xyz/@tao](https://mathstodon.xyz/@tao)  
![image](https://blog.aitoearn.ai/content/images/2025/10/img_004-59.jpg)

---

For broader AI‑driven creation & research, [AiToEarn官网](https://aitoearn.ai/) offers an ecosystem to:
- Generate content with AI  
- Distribute across channels  
- Track performance and earnings  

Ensuring both **creative exploration** and **practical impact**.

[Read the original](2650994886)  
[Open in WeChat](https://wechat2rss.bestblogs.dev/link-proxy/?k=f8727651&r=1&u=https%3A%2F%2Fmp.weixin.qq.com%2Fs%3F__biz%3DMzA3MzI4MjgzMw%3D%3D%26mid%3D2650994886%26idx%3D2%26sn%3Df466263ac3a038b524076a4afa569a37)

Read more