GoKawiil - Tech News

1.

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

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

2.

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

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

3.

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

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

4.

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

5.

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

6.

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

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

7.

Mathematics Without Mathematicians (news.ycombinator.com)

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

8.

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

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

9.

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

10.

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

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

11.

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

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

12.

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

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

13.

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

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

14.

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

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

15.

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

16.

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

17.

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

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

18.

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

19.

Solving Fermat: Andrew Wiles (news.ycombinator.com)

2026-07-27 | tags: fermats last theorem, andrew wiles, mathematics

20.

How real are real numbers? (2004) (news.ycombinator.com)

2026-07-27 | tags: real numbers, mathematics, 2004

21.

Can LLMs identify 16 cards in 45 bit-queries? (news.ycombinator.com)

2026-07-27 | by Sameer Wagh | tags: llms, mathematical research, standard deck

22.

How to prevent AI from harming mathematics (feeds.nature.com)

2026-07-27 | by Portegies | tags: artificial intelligence, chatbots, leiden declaration

23.

Terence Tao: Mathematics in the Age of AI [pdf] (news.ycombinator.com)

2026-07-26 | tags: terence tao, artificial intelligence, mathematics

24.

The Dark Night of Mathematics (news.ycombinator.com)

2026-07-25 | by Kirwin Hampshire | tags: leiden declaration, large language models, mathematical proofs

25.

Hannah Fry Wins the Leelavati Prize in 2026 for Mathematics Outreach (news.ycombinator.com)

2026-07-25 | tags: leelavati prize, hannah fry, cambridge university

26.

The Origins of Modern Mathematics in Russia (news.ycombinator.com)

2026-07-24 | by Valeriy Manokhin | tags: russian mathematics, academy of sciences, peter the great

27.

Fields Medals 2026 (news.ycombinator.com)

2026-07-23 | tags: fields medals, 2026, mathematics

28.

The real math crisis isn’t the test scores. It’s the test (feeds.feedburner.com)

2026-07-23 | tags: cambridge, algebra i, math crisis

29.

Rising stars of mathematics awarded 2026 Fields Medal (feeds.nature.com)

2026-07-23 | by Castelvecchi | tags: fields medal, shing-tung yau, princeton university

30.

Fretboard Memorisation with Modular Arithmetic (news.ycombinator.com)

2026-07-22 | tags: fretboard, modular arithmetic, guitar