Signal
Advertise
Signal
Advertise
Sign in
Submit
Discover trends that matter
Trending repositories
Daily
Weekly
Monthly
Yearly
Live mentions
Topics
GitHub trending
Repositories
Developers
Insights
Stats
Log in
openai/math — GitHub trending stats & insights | Trendshift
Kane CLI
Busbar
Bifrost
openai/math
Visit GitHub
Like openai/math, 0 likes
0
Bookmark openai/math, 0 bookmarks
0
Lean
450
0
Apache License 2.0
Social mentions
Recent discussions about this repository across the web
Any CS student can understand this problem, because everyone learned what regular languages and regular expressions are. It's very easy to understand, but very hard to solve.
@PlexInphinity · x.com
One OpenAI result is that multiplying two n*n matrices can be done in O(n^2.25) time. It's obvious that it can be done in O(n^3) time, and people have been pushing down the "3", but progress has…
@DominikPeters · x.com
Now this is very exciting
@MountainOfMoon · x.com
今早 OpenAI 干了件挺疯的事:往 GitHub 上一次性扔了 722 篇数学论文(372 组结果),全是一个内部从没发布过的模型写的。 我去把仓库翻了一遍,是真的。预印本 PDF、Lean 形式化证明、连模型的推理过程摘要都放出来了。选题也够野:黎曼 zeta 函数的零点自由区、CM 阿贝尔簇上的 Hodge 猜想,这种级别的题目都在里面。 但先别急着喊“数学家失业了”。OpenAI…
@nanshan_aye · x.com
OpenAI's model claims to break computing's speed limits. Both come from today's 722-paper drop. • Matrix multiplication exponent: 9/4. The record sat near 2.37. • Integer multiplication: below n log…
@Quotracker · x.com
Normalizable finite energy Bound States in BFSS with N=2? What the heck?
@karch_andreas · x.com
OpenAI made their big dump!
@karch_andreas · x.com
OpenAI: The list chromatic number of the K_t-minor-free graph is at most O(t) "Linear (list) Hadwiger Conjecture"
@sioum · x.com
the maths and physics slopavalanche is here
@dibiagioandrea · x.com
here is the src :) > initial commit 57 min ago : yeah it's happening ....
@asi369_ · x.com
Load more
Repository activities
repository's daily and monthly activities across stars, forks, merged PRs, issues, and closed issues