GoKawiil - Tech News

121.

The lattice of sets of natural numbers is rich (news.ycombinator.com)

2026-08-10 | tags: natural numbers, lattice, sets

122.

Two wheels, a few tradeoffs, and gas prices (news.ycombinator.com)

2026-08-09 | by Raed Chammam | tags: math, motorcycle, motorcycles

123.

TheoremDB – A public workspace for machine mathematics (news.ycombinator.com)

2026-08-09 | tags: determinant, evidence, fib problem

124.

TheoremDB · A public workspace for machine mathematics (news.ycombinator.com)

2026-08-09 | tags: determinant, evidence, fib problem

125.

The Unreasonable Effectiveness of Mathematics in the Natural Sciences [pdf] (news.ycombinator.com)

2026-08-08 | tags: effectiveness, effectiveness mathematics, mathematics

126.

The Hat and the Spectre – Recent Groundbreaking Discoveries in Mathematics (news.ycombinator.com)

2026-08-08 | tags: spectre, hat, aperiodic

127.

Why Erdős Problems Are Falling to AI (news.ycombinator.com)

2026-08-05 | by Konstantin Kakaes | tags: bloom, latex, math

128.

Why the Legendary Erdős Problems Are Falling to AI (news.ycombinator.com)

2026-08-05 | by Konstantin Kakaes | tags: bloom, latex, math

129.

Virus reactivation in acute and long COVID-19 (feeds.nature.com)

2026-08-05 | by Maguire | tags: mathrm, nasal, samples

130.

OpenAI's Astra Solved Decades-Old Math Problems For $2,000 (slashdot.org)

2026-08-04 | tags: openai, astra, group theory

131.

Nearly 1,900 U.S. public schools are within a mile of a data center (feeds.feedburner.com)

2026-08-03 | tags: arnco-sargent elementary, data center, atlanta

132.

OpenAI teases Astra, its next major AI model, after it solves 10 long-standing math problems (bleepingcomputer.com)

2026-08-02 | tags: openai, astra, gpt-6

133.

A Dire Situation (feeds.content.dowjones.io)

2026-08-02 | tags: meta, ai content, lawsuits

134.

Opinion | The Math on AI Works Out Well for You (feeds.content.dowjones.io)

2026-08-02 | tags: data centers, gold mine, society

135.

OpenAI Smuggled the Announcement of Astra, Its Next AI Model, Into a Blog Post About Math (gizmodo.com)

2026-08-02 | tags: openai, astra, connes

136.

Mathematics Without Mathematicians (news.ycombinator.com)

2026-08-02 | by Fernando Borretti | tags: openai, coding theory, mathematics

137.

From boiling lead and black art: The history of mathematical typography (2017) (news.ycombinator.com)

2026-08-01 | tags: chalkdust, latex, mathematical typography

138.

Ten advances in mathematics and theoretical computer science (news.ycombinator.com)

2026-08-01 | tags: chatgpt, erdos conjecture, astral model

139.

The Math Superstar Who’s Terrified of AI—and Just Took a Job at OpenAI (feeds.content.dowjones.io)

2026-08-01 | tags: openai, jacob tsimerman, math

140.

Is AI reasoning right for the wrong reasons? (news.ycombinator.com)

2026-07-31 | by John Pavlus | tags: large reasoning models, openai, apple

141.

Is AI Reasoning Right for the Wrong Reasons? (news.ycombinator.com)

2026-07-31 | by John Pavlus | tags: large reasoning models, openai, apple

142.

The Maxwell Conjecture Is False (GPT 5.6 Sol) (news.ycombinator.com)

2026-07-31 | tags: maxwell conjecture, gpt 5.6, artificial intelligence

143.

How long should you keep your phone for? I did the math - it's likely not what you think (zdnet.com)

2026-07-31 | by Cesar Cadenas | tags: smartphones, apple, android

144.

Are We Stuck with Lean? (news.ycombinator.com)

2026-07-30 | tags: lean, theorem prover, mathlib

145.

The Million-Dollar Talent Wars for 20-Something Math Geniuses (feeds.content.dowjones.io)

2026-07-30 | tags: wall street, silicon valley, math geniuses

146.

How I use statistics and my law degree to fight human-rights abuses (feeds.nature.com)

2026-07-30 | by Crowell | tags: international criminal court, human rights abuses, amnesty international

147.

Theo Conjecture solves 35-year-old math problem, finds a term no one predicted (news.ycombinator.com)

2026-07-29 | tags: theo conjecture, paul erdos, graffiti program

148.

You can lease an iPhone through Klarna now - but should you? I did the math (zdnet.com)

2026-07-28 | by Jada Jones | tags: apple, klarna, iphone

149.

Many "serious" mathematicians are aghast (news.ycombinator.com)

2026-07-28 | tags: ai mathematics, peer-reviewed journals, scientific revolution

150.

The Burau representation of the braid group is faithful for n = 4 (news.ycombinator.com)

2026-07-27 | tags: braid group, burau representation, n=4