Y
Hacker News
new
|
past
|
ask
|
show
|
jobs
|
submit
|
⚡ AI Readiness
login
61.
G\"odel's Incompleteness Theorems in Grounded Arithmetic
(
arxiv.org
)
1 point
by
math_ai_curator
18 hours ago
|
1 comments
62.
Egoless Mathematics in the AI Era
(
terrytao.wordpress.com
)
27 points
by
math_ai_curator
9 days ago
|
1 comments
63.
Category Theory for Kids
(
kids.kiddle.co
)
15 points
by
math_ai_curator
45 days ago
|
1 comments
64.
HomeBody: A humanoid that explores, remembers, and acts on its own
(
tml.stanford.edu
)
14 points
by
famouswaffles
46 days ago
|
1 comments
65.
It’s Time to Investigate the AI Labs
(
calnewport.com
)
14 points
by
math_ai_curator
44 days ago
|
1 comments
66.
Show HN: Sostactic – polynomial inequalities using sums-of-squares in Lean
(
github.com
)
14 points
by
math_ai_curator
44 days ago
|
1 comments
67.
Terence Tao on AI in mathematics (and beyond)
(
teorth.github.io
)
3 points
by
math_ai_curator
1 day ago
|
1 comments
68.
OpenAI fires 3 safety researchers in dispute over AI risks
(
apnews.com
)
13 points
by
math_ai_curator
31 days ago
|
1 comments
69.
Sousveillance
(
en.wikipedia.org
)
13 points
by
xeonmc
46 days ago
|
1 comments
70.
OpenAI (2015)
(
openai.com
)
13 points
by
andsoitis
46 days ago
|
3 comments
71.
With web search, LLMs still give uncorrected EU law in 25% of decided answers
(
zenodo.org
)
3 points
by
math_ai_curator
1 day ago
|
1 comments
72.
Waldschmidt constants and invariant geometry for exceptional rank-four complex reflection groups
(
arxiv.org
)
1 point
by
math_ai_curator
22 hours ago
|
1 comments
73.
Reciprocal mirror map derivatives, euler-twisted Gromov-Witten invariants, and instanton counts via quantum Serre duality
(
arxiv.org
)
1 point
by
math_ai_curator
22 hours ago
|
1 comments
74.
Geometric Hammocks: Surface Laminations and the Ziegler Spectrum of String Algebras
(
arxiv.org
)
1 point
by
math_ai_curator
22 hours ago
|
1 comments
75.
Vanishing Theorem of Pin(2)-equivariant Bauer-Furuta Invariants as Stable Sections
(
arxiv.org
)
1 point
by
math_ai_curator
22 hours ago
|
1 comments
76.
Closed layers in tensor-triangular geometry
(
arxiv.org
)
1 point
by
math_ai_curator
22 hours ago
|
1 comments
77.
Hermitian K-theory for stable $\infty$-categories IV: Karoubi-Grothendieck-Witt theory
(
arxiv.org
)
1 point
by
math_ai_curator
22 hours ago
|
1 comments
78.
Show HN: AxiomCode Graph, Reducing coding agent rework with formal methods
(
github.com
)
10 points
by
math_ai_curator
28 days ago
|
1 comments
79.
Did OpenAI solve the wrong Navier-Stokes problem?
(
scientificamerican.com
)
10 points
by
math_ai_curator
45 days ago
|
1 comments
80.
The Exponential Time Hypothesis Is False [pdf]
(
github.com
)
20 points
by
math_ai_curator
15 days ago
|
1 comments
81.
Adversarial examples for fast hash functions
(
thomasahle.com
)
9 points
by
math_ai_curator
45 days ago
|
1 comments
82.
Real-time feedback: My closing move in every interview
(
mgrebler.substack.com
)
9 points
by
fagnerbrack
46 days ago
|
1 comments
83.
Why Buran Had Four Computers, Not Three
(
zatona.dev
)
9 points
by
dzatona
48 days ago
|
1 comments
84.
Nvidia accused of trying to cut a deal with Anna's Archive
(
tomshardware.com
)
13 points
by
math_ai_curator
30 days ago
|
1 comments
85.
Relation algebra is not relational algebra
(
remy.wang
)
29 points
by
math_ai_curator
51 days ago
|
1 comments
86.
The Tao of Tao
(
newsroom.ucla.edu
)
8 points
by
math_ai_curator
29 days ago
|
1 comments
87.
The best algebras are spinny
(
youtube.com
)
1 point
by
math_ai_curator
1 day ago
|
1 comments
88.
How I became a machine learning practitioner (2019)
(
blog.gregbrockman.com
)
1 point
by
math_ai_curator
1 day ago
|
1 comments
89.
Controlling your AI agents from a game handheld
(
blog.codepipes.com
)
1 point
by
math_ai_curator
1 day ago
|
1 comments
90.
Matching product records with a decision model
(
codecut.ai
)
1 point
by
math_ai_curator
1 day ago
|
1 comments
More
Search: