HackerReposA FIELD GUIDE TO OPEN SOURCE
ProSponsor the shelf♧ 0
← Back to top all-time
openai
math
Lean2026–2026
openai / math

math

Discover this repository through its Hacker News conversations.

Explore on GitHubRead Hacker News discussions
47Distinct people
50Mentions
0Explicit recommenders
17.5KGitHub stars
REPOSITORY AT A GLANCE

What to know before exploring

What it is

A public description has not been verified.

Where it is used

  • OpenAI Math Explorer — OpenAI Math Explorer uses data from the github.com/openai/math repository to populate its content. The site’s map, related results, search, and indexes are Emergent Mind’s features built on that data. Source

What people are saying

No recommendation phrase was found in the indexed comments.

No classified warning is attached to this page. Read the discussions before treating silence as approval.

Also in these discussions

No other repository is repeatedly linked in the same discussions.

This week on Hacker News

Nov 8–Nov 15 UTC · Direct repository links and separately labeled related project stories. Indexed through 11/15/2026, 10:56:20 AM UTC.

Ask HN: Can anyone name anything new that AI has done? direct repository linkDebated

Participants debate whether current AI systems have produced genuinely novel achievements or merely reassembled existing data, with some citing mathematical proofs and protein folding as evidence of new capabilities while others argue these are just correlations. The strongest disagreement centers on the definition of novelty, contrasting the view that AI synthesizes known information against the counter-argument that such synthesis constitutes a new form of discovery comparable to human intellectual work.

28 readable replies · Supporting reply 1 · Supporting reply 2 · Supporting reply 3 · Supporting reply 4

Mentions over time

HN mentions by day50 dated mentions

Observed mentions: 2026-10-06 22:17:21 UTC to 2026-11-01 20:29:36 UTC.

0510152026-10-06 00:00:00 UTC to 2026-10-07 00:00:00 UTC (exclusive): 14 mentions; 6 submissions, 8 commentsOct 62026-10-07 00:00:00 UTC to 2026-10-08 00:00:00 UTC (exclusive): 14 mentions; 2 submissions, 12 comments2026-10-08 00:00:00 UTC to 2026-10-09 00:00:00 UTC (exclusive): 6 mentions; 4 submissions, 2 comments2026-10-09 00:00:00 UTC to 2026-10-10 00:00:00 UTC (exclusive): 4 mentions; 0 submissions, 4 comments2026-10-10 00:00:00 UTC to 2026-10-11 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-10-11 00:00:00 UTC to 2026-10-12 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-10-12 00:00:00 UTC to 2026-10-13 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-10-13 00:00:00 UTC to 2026-10-14 00:00:00 UTC (exclusive): 1 mentions; 0 submissions, 1 comments2026-10-14 00:00:00 UTC to 2026-10-15 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-10-15 00:00:00 UTC to 2026-10-16 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-10-16 00:00:00 UTC to 2026-10-17 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-10-17 00:00:00 UTC to 2026-10-18 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-10-18 00:00:00 UTC to 2026-10-19 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-10-19 00:00:00 UTC to 2026-10-20 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 commentsOct 192026-10-20 00:00:00 UTC to 2026-10-21 00:00:00 UTC (exclusive): 1 mentions; 1 submissions, 0 comments2026-10-21 00:00:00 UTC to 2026-10-22 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-10-22 00:00:00 UTC to 2026-10-23 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-10-23 00:00:00 UTC to 2026-10-24 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-10-24 00:00:00 UTC to 2026-10-25 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-10-25 00:00:00 UTC to 2026-10-26 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-10-26 00:00:00 UTC to 2026-10-27 00:00:00 UTC (exclusive): 9 mentions; 3 submissions, 6 comments2026-10-27 00:00:00 UTC to 2026-10-28 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-10-28 00:00:00 UTC to 2026-10-29 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-10-29 00:00:00 UTC to 2026-10-30 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-10-30 00:00:00 UTC to 2026-10-31 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-10-31 00:00:00 UTC to 2026-11-01 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-11-01 00:00:00 UTC to 2026-11-02 00:00:00 UTC (exclusive): 1 mentions; 0 submissions, 1 commentsNov 1

Counts come from the repository’s dated source evidence. Index cutoff: 2026-11-02 08:16:59 UTC.

View mention counts and date ranges
UTC ranges include their start and exclude their end. Select a period to filter the source evidence.
PeriodStart (UTC)End (exclusive, UTC)MentionsSubmissionsComments
Oct 62026-10-06 00:00:00 UTC2026-10-07 00:00:00 UTC1468
Oct 72026-10-07 00:00:00 UTC2026-10-08 00:00:00 UTC14212
Oct 82026-10-08 00:00:00 UTC2026-10-09 00:00:00 UTC642
Oct 92026-10-09 00:00:00 UTC2026-10-10 00:00:00 UTC404
Oct 102026-10-10 00:00:00 UTC2026-10-11 00:00:00 UTC000
Oct 112026-10-11 00:00:00 UTC2026-10-12 00:00:00 UTC000
Oct 122026-10-12 00:00:00 UTC2026-10-13 00:00:00 UTC000
Oct 132026-10-13 00:00:00 UTC2026-10-14 00:00:00 UTC101
Oct 142026-10-14 00:00:00 UTC2026-10-15 00:00:00 UTC000
Oct 152026-10-15 00:00:00 UTC2026-10-16 00:00:00 UTC000
Oct 162026-10-16 00:00:00 UTC2026-10-17 00:00:00 UTC000
Oct 172026-10-17 00:00:00 UTC2026-10-18 00:00:00 UTC000
Oct 182026-10-18 00:00:00 UTC2026-10-19 00:00:00 UTC000
Oct 192026-10-19 00:00:00 UTC2026-10-20 00:00:00 UTC000
Oct 202026-10-20 00:00:00 UTC2026-10-21 00:00:00 UTC110
Oct 212026-10-21 00:00:00 UTC2026-10-22 00:00:00 UTC000
Oct 222026-10-22 00:00:00 UTC2026-10-23 00:00:00 UTC000
Oct 232026-10-23 00:00:00 UTC2026-10-24 00:00:00 UTC000
Oct 242026-10-24 00:00:00 UTC2026-10-25 00:00:00 UTC000
Oct 252026-10-25 00:00:00 UTC2026-10-26 00:00:00 UTC000
Oct 262026-10-26 00:00:00 UTC2026-10-27 00:00:00 UTC936
Oct 272026-10-27 00:00:00 UTC2026-10-28 00:00:00 UTC000
Oct 282026-10-28 00:00:00 UTC2026-10-29 00:00:00 UTC000
Oct 292026-10-29 00:00:00 UTC2026-10-30 00:00:00 UTC000
Oct 302026-10-30 00:00:00 UTC2026-10-31 00:00:00 UTC000
Oct 312026-10-31 00:00:00 UTC2026-11-01 00:00:00 UTC000
Nov 12026-11-01 00:00:00 UTC2026-11-02 00:00:00 UTC101

What Hacker News says

1 sources
calebkaiser·Oct 13, 2026
The history of the term is actually really interesting. There has been debate about whether or not its the correct name basically since the advent of computer science departments in the 60s. I don't think the author is "wrong" about the gap between theoretical discussions computation and the actual design constraints of building usable computers. I don't know if that's really a general refutation of proving new things mathematically though. The word "computer" doesn't appear once in the paper OpenAI released, nor do they make any claims specifically about "computer science": https://github.com/openai/math/blob/main/preprints/An-explic... It's a novel bit of math. Whether or not it means anything in the context of writing software realistically is an interesting conversation, but it doesn't have much bearing on the substance of the result
Read the rest
itself. OpenAI is pretty explicit that they view these as research results in the domain of mathematics.
In A look at the math that OpenAI claims computes faster Fourier transforms

MAKE YOURSELF AT HOME

A few shortcuts

/
Search the collection
?
Open this guide
Esc
Close dialogs and navigation

Your saved repositories and interests stay in this browser.