Skip to main content
Scour
Discover
Docs
Login
Sign Up
Discover
About
Docs
Changelog
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Back to article
The Conversation
3w
3 weeks ago
An AI solution to an 80-year-old problem has shocked mathematicians
(opens in new tab)
Covers
4 stories
See all stories this covers
including
An OpenAI model has disproved a central conjecture in discrete geometry
Covered by
7 sources
See all sources covering this story
including
ScienceAlert
,
Phys.org
Love
Like
Not for me
Save
|
|
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Covers 4 related stories
OpenAI News
·
4w
4 weeks ago
An OpenAI model has disproved a central conjecture in discrete geometry
Discussed on
Hacker News
,
Lobsters
,
r/OpenAI
,
r/artificial
, and
r/singularity
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for An OpenAI model has disproved a central conjecture in discrete geometry
arxiv.org
·
4w
4 weeks ago
An explicit lower bound for the unit distance problem
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for An explicit lower bound for the unit distance problem
Nature
·
3w
3 weeks ago
AI cracks 80-year-old mathematics challenge — researchers are astonished
Discussed on
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for AI cracks 80-year-old mathematics challenge — researchers are astonished
arxiv.org
·
4w
4 weeks ago
Advancing Mathematics Research with AI-Driven Formal Proof Search
Discussed on
Hacker News
and
Hacker News
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Advancing Mathematics Research with AI-Driven Formal Proof Search
Covered in 7 articles
ScienceAlert
·
3w
3 weeks ago
Stunning AI Solution For 80-Year-Old Problem Shocks Mathematicians
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for Stunning AI Solution For 80-Year-Old Problem Shocks Mathematicians
Phys.org
·
3w
3 weeks ago
An AI solution to an 80‑year‑old problem has shocked mathematicians
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for An AI solution to an 80‑year‑old problem has shocked mathematicians
ZME Science
·
4d
4 days ago
OpenAI Model Cracked an 80-Year-Old Math Problem and Mathematicians Are Stunned
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for OpenAI Model Cracked an 80-Year-Old Math Problem and Mathematicians Are Stunned
Tech Xplore
·
3w
3 weeks ago
In a sea of hype, here are the AI 'nothingburgers' you don't hear about
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for In a sea of hype, here are the AI 'nothingburgers' you don't hear about
fixthenews.com
·
3d
3 days ago
342: Electric Asia. Erdős solved. OMG French Polynesia 🪼💙. Zambia education.
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for 342: Electric Asia. Erdős solved. OMG French Polynesia 🪼💙. Zambia education.
Mapping Ignorance
·
3w
3 weeks ago
An AI solution to an 80‑year‑old Erdős problem
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for An AI solution to an 80‑year‑old Erdős problem
Singularity Hub
·
3w
3 weeks ago
An AI Solution to an 80‑Year‑Old Problem Has Shocked Mathematicians
Love
Like
Not for me
Save
Add to your feed
Feeds
Share
Report
Off Topic
Harmful Content
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Block Domain
Actions for An AI Solution to an 80‑Year‑Old Problem Has Shocked Mathematicians
Keyboard Shortcuts
Navigation
Next / previous post
j
/
k
Open post
o
or
Enter
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
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Discover
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help
Like
Save
Not for me
Report