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.

Petlibro Offers: 60% Off in August 2026 (wired.com)

2026-08-05 | by Molly Higgins | tags: petlibro, automatic pet feeders, pet fountains

4.

Uncovering the mechanism of female restitution in sugarcane hybrids (feeds.nature.com)

2026-08-05 | by Zhu | tags: bioinformatics, et al, genome

5.

When AI Benchmarks Plateau: A Systematic Study of Benchmark Saturation (news.ycombinator.com)

2026-08-04 | tags: ai benchmarks, benchmark saturation, systematic study

6.

We’re giving away a back-to-school bag filled with over $800 of free tech (theverge.com)

2026-08-04 | by Cameron Faulkner | tags: the verge, nomatic, sweepstakes

7.

How I explore trauma through ‘cinematic neuroscience’ (feeds.nature.com)

2026-08-04 | by Yates | tags: ninja theory, gaslight, post-traumatic stress disorder

8.

What's the largest software project AI can complete on its own? (news.ycombinator.com)

2026-08-03 | tags: mirrorcode, metr, ai models

9.

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

10.

Mathematics Without Mathematicians (news.ycombinator.com)

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

11.

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

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

12.

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

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

13.

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

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

14.

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

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

15.

Study shows excessive time online is associated with stress, bad moods, and abandoning enjoyable activities (techspot.com)

2026-07-30 | by Rob Thubron | tags: online gaming, pornography use, social networking

16.

Study shows spending excessive time online is associated with stress, bad moods, and abandoning enjoyable activities (techspot.com)

2026-07-30 | by Rob Thubron | tags: online gaming, pornography, social networking

17.

Somatic mutations reveal the ontogeny of microglia in human aging (feeds.nature.com)

2026-07-30 | by Belk | tags: microglia, somatic mutations, mitochondrial dna

18.

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

19.

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

20.

Want to See Spider-Man: Brand New Day Early? How to Buy Special Screening Tickets (cnet.com)

2026-07-28 | by Meara Isenberg | tags: marvel cinematic universe, spider-man, amazon prime

21.

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

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

22.

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

23.

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

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

24.

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

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

25.

Exploiting Volvo/Eicher's fleet platform to gain control over all users/vehicles (news.ycombinator.com)

2026-07-27 | tags: volvo, eicher, telematics

26.

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

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

27.

The Atari Cinematic Universe Gets the Green Light (gizmodo.com)

2026-07-27 | tags: atari, cinematic universe, empire

28.

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

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

29.

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

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

30.

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

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