Menu

#Terrytao

8 posts

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

We’re gonna need a lot more mathematicians

Hacker News·15 days ago
#Qt1x3lTd

[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
Read More
Announcing the Advisory Group on Mathematics and Artificial Intelligence
🖼️
162

Announcing the Advisory Group on Mathematics and Artificial Intelligence

Hacker News·18 days 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
Read More
Why Do We Need Human Mathematicians Anymore?
🖼️
0

Why Do We Need Human Mathematicians Anymore?

Hacker News·20 days 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
Read More
If math is more than proof, we need to better celebrate the rest of it
📰
0

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

Hacker News·21 days ago
#IVY7qmMa

[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
Read More
After Math
🖼️
0

After Math

Hacker News·28 days ago
#5Q8JmSur
#terrytao#mathematics#ai#chess#article#ama

[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
Read More
Palomar – a registry of Lean verified mathematics
🖼️
0

Palomar – a registry of Lean verified mathematics

Hacker News·about 2 months ago
#Aqf9e1RG

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
Read More
A digestion of the proof of Sendov’s conjecture
🖼️
0

A digestion of the proof of Sendov’s conjecture

Hacker News·about 2 months ago
#ukKuRhPN

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
Read More
A digestion of the Jacobian conjecture counterexample
🖼️
0

A digestion of the Jacobian conjecture counterexample

Hacker News·3 months ago
#tPYGn9Xr

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
Read More