Back to article
stunning-naiad-817d91.netlify.app

AI and Math State of the Art (opens in new tab)

Covers 9 stories See all stories this covers including An OpenAI model has disproved a central conjecture in discrete geometryDiscussed on Hacker News

Covers 9 related stories

OpenAI News·

An OpenAI model has disproved a central conjecture in discrete geometry

Feeds
arXiv·

An explicit lower bound for the unit distance problem

Discussed on Hacker News
Feeds
arXiv·

Advancing Mathematics Research with AI-Driven Formal Proof Search

Discussed on Hacker News and Hacker News
Feeds
Combinatorics and more·

Amazing: Erdős’ Unit Distance Problem was Disproved! It was achieved by AI!

Feeds
deepmind.google·

Advanced version of Gemini with Deep Think officially achieves gold-medal standard at the International Mathematical Olympiad

Feeds
Epoch AI·

FrontierMath A math benchmark testing the limits of AI

Discussed on Hacker News
Feeds
What's new·

Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Tao

Feeds
Nature·

‘The job description is changing’: mathematician Terence Tao on the rise of AI

Discussed on Hacker News
Feeds
quantamagazine.org·

How Terry Tao Became an Evangelist for AI in Math

Discussed on Hacker News
Feeds

Keyboard Shortcuts

Navigation

Next / previous post
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Discover
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help