#1stproof

Simons Institute for the Theory of Computing

@simonsinstitute.bsky.social

3 weeks ago

Could AI Supplant a Mathematician? Professor Andrew Blumberg is part of a team that tested AI’s upper limits by asking it to answer unsolved math problems.

#1stproof

news.columbia.edu/news/could-a...

Eigenraum

@eigenraum.podcasts.social.ap.brid.gy

3 weeks ago

Vielleicht ein kleines Update zum Diskussionsstand #1stProof:

OpenAI hat Lösungsvorschläge eingereicht, vor der Deadline. Diese waren aber nicht nur durch die KI erstellt, sondern Experten die OpenAI kontaktiert hatte waren auch beteiligt und haben der KI geholfen.

Mohammed Abouzaid schrieb […]

Justin McClung

@justinmcclung.bsky.social

1 month ago

28,769 lines of code later... Claude is still working out special cases for n = 4. But, unlike me, the machine isn't getting bored or tired.

Honestly, it's a little scary to watch this strange combination of patient, graceful "Thinking..." and relentless brute force.

No #1stProof, here. Not yet.

Dan

@handackett.bsky.social

1 month ago

First Proof solutions releasing in a few hours, anyone seen any cool results yet? #1stproof

drdwo.bsky.social

@drdwo.bsky.social

1 month ago

First Proof (#1stProof): AI-only workflow (no human math input). Report + outputs:
althofer.de/first-proof-...
Looking for critique / error-spotting. #1stProof #Math #TheoremProving

Justin McClung

@justinmcclung.bsky.social

1 month ago

Giving Claude Code a workout on Question 4 of the current set of First Proof (1stproof.org) autonomous proof challenges. Only up to n = 4 with less than 9.5 hours to go. #1stProof

Simons Institute for the Theory of Computing

@simonsinstitute.bsky.social

1 month ago

Mathematicians issue a major challenge to AI—show us your work Frustrated by the AI industry’s claims of proving math results without offering transparency, a team of leading academics has proposed a better way

More on #1stproof, from @sciam.bsky.social

www.scientificamerican.com/article/math....

Simons Institute for the Theory of Computing

@simonsinstitute.bsky.social

1 month ago

These Mathematicians Are Putting A.I. to the Test

From @nytimespr.bsky.social, a closer look at #1stproof, a community experiment to see how well AI can do research math.

www.nytimes.com/2026/02/07/s...

Simons Institute for the Theory of Computing

@simonsinstitute.bsky.social

1 month ago

When you do the math, humans still rule — Harvard Gazette Harvard’s Lauren Williams, a MacArthur “genius,” joins international effort to challenge notions of AI supremacy.

news.harvard.edu/gazette/story/2026/02/when-you-do-the-math-humans-still-rule/

#1stproof

Simons Institute for the Theory of Computing

@simonsinstitute.bsky.social

1 month ago

Theory at the Institute and Beyond, February 2026 Let me tell you about two lists of questions — one for humans, and one for AI — and how they were made.

In the latest installment of Theory at the Institute and Beyond, Senior Scientist Nikhil Srivastava explores innovative approaches to workshop design, and introduces a community experiment to see how well AI can do research math.

simons.berkeley.edu/news/theory-...

#1stproof