Claude 3.7 in Cursor is eager – sometimes a bit too eager(mathstodon.xyz)

9 points by stared 1 year ago | 2 comments

A breakthrough towards the Riemann hypothesis(mathstodon.xyz)

516 points by pera 2 years ago | 144 comments

A Mastodon post by Terence Tao describing Guth and Maynard's improvement to Ingham's 1940 zero density bound for the Riemann zeta function.

Terence Tao: The role of small organizations in society has shrunk significantly(mathstodon.xyz)

968 points by bertman 1 year ago | 490 comments

A Mastodon post by mathematician Terence Tao reflecting on how society operates at four scales and how the role of small organized groups has shrunk.

Terence Tao: Solving problems by abstracting away highly relevant information(mathstodon.xyz)

5 points by bertman 1 year ago | 0 comments

Discussing the Neptunian desert, savanna, and ridge(mathstodon.xyz)

26 points by ColinWright 2 years ago | 4 comments

Terence Tao on O1(mathstodon.xyz)

626 points by dselsam 2 years ago | 404 comments

Mastodon post by mathematician Terence Tao describing his experiments with OpenAI's o1 model on research-level mathematical tasks.

The Mathocalypse(scottaaronson.blog)

361 points by 6bitquant 19 days ago | 380 comments

Scott Aaronson blog post reacting to OpenAI releasing hundreds of AI-generated math results, including a claimed proof of Khot's Unique Games Conjecture.

Pi's Minimalism Is Its Advantage(earendil.com)

487 points by luispa 2 months ago | 257 comments

Earendil post arguing that Pi, a minimal AI coding harness, gains performance and cost advantages by avoiding the complexity of larger agent tools.

We're gonna need a lot more mathematicians(terrytao.wordpress.com)

358 points by srcreigh 1 month ago | 461 comments

Guest post by Amit Sahai on Terence Tao's blog arguing that the world will need many more mathematicians, reflecting on students who left math due to pace.

Why Math Dumped OpenAI(raymyers.org)

11 points by xeonmc 9 days ago | 0 comments

A blog post by Ray Myers arguing why the mathematics community moved away from OpenAI.

Writing Is Closer to Thought Than Code(danielmiessler.com)

46 points by eigenBasis 7 hours ago | 21 comments

Daniel Miessler blog post arguing that written intent, via an 'Ideal State Artifact', rather than code should be the source of truth when building software with AI.

Everything in C is undefined behavior(blog.habets.se)

459 points by lycopodiopsida 5 months ago | 598 comments

Personal blog post arguing that nobody can write correct C or C++ because nearly all code triggers undefined behavior, and that the languages are outdated.