Menu

#Terrytao

8 posts

Feed·
8 of 8 posts
We’re gonna need a lot more mathematicians
🖼️
407Read More

We’re gonna need a lot more mathematicians

Hacker News·about 2 months ago
#Qt1x3lTd
#terrytao#mathematics#ai#article#ama

[This is a guest post by Amit Sahai. This blog post was initially written in a different file format and converted using AI. — T.] When I was an undergraduate student, I remember talking with…

15s
Announcing the Advisory Group on Mathematics and Artificial Intelligence
🖼️
162Read More

Announcing the Advisory Group on Mathematics and Artificial Intelligence

Hacker News·about 2 months ago
#9ACRY4Ra

[This is a guest post by the Advisory Group on Mathematics and Artificial Intelligence. This blog post was initially written in a different file format and converted using AI. — T.] We would …

15s
Why Do We Need Human Mathematicians Anymore?
🖼️
0Read More

Why Do We Need Human Mathematicians Anymore?

Hacker News·about 2 months ago
#FdqqIKQj

[This is a guest post by Po-Shen Loh, crossposted from his blog, where an illustrated version appears. This blog post was initially written in a different file format and converted using AI. &#8212…

15s
If math is more than proof, we need to better celebrate the rest of it
📰
0Read More

If math is more than proof, we need to better celebrate the rest of it

Hacker News·about 2 months ago
#IVY7qmMa
#terrytao#math#mathematics#proof#explanation

[This is a guest post by Grant Sanderson. This blog post was initially written in a different file format and converted using AI. — T.] A sentiment echoing throughout the mathematics communit…

15s
After Math
🖼️
0Read More

After Math

Hacker News·about 2 months ago
#5Q8JmSur
#terrytao#mathematics#ai#chess#article

[This is a guest post by Silvia De Toffoli and Eamon Duede. This blog post was initially written in a different file format and converted using AI. — T.] Silvia De Toffoli (University School …

15s
Palomar – a registry of Lean verified mathematics
🖼️
0Read More

Palomar – a registry of Lean verified mathematics

Hacker News·3 months ago
#Aqf9e1RG
#terrytao#lean#palomar#photo#article

In recent months there has been a proliferation of AI-generated proofs of various old and new results, some of which have been formalized in the proof assistant language Lean. However, checking tha…

15s
A digestion of the proof of Sendov’s conjecture
🖼️
0Read More

A digestion of the proof of Sendov’s conjecture

Hacker News·3 months ago
#ukKuRhPN
#terrytao#conjecture#inequality#thus#unit

This post concerns the following conjecture of Sendov, as well as its strengthening by Phelps–Rodriguez: Conjecture 1 (Sendov’s conjecture) Let $latex {n \geq 2}&fg=000000$, and let…

15s
A digestion of the Jacobian conjecture counterexample
🖼️
0Read More

A digestion of the Jacobian conjecture counterexample

Hacker News·4 months ago
#tPYGn9Xr
#terrytao#polynomial#three#affine#thus

The notorious Jacobian conjecture can be formulated concretely over the complex numbers as follows. Conjecture 1 (Jacobian Conjecture) Let $latex {F:{\bf C}^n \rightarrow {\bf C}^n}&fg=000000$ …

15s