GoKawiil - Tech News

1.

If math is more than proof, we need to better celebrate the rest of it (news.ycombinator.com)

2026-09-19 | by Terence Tao | get math notebook grid paper mathematician gift → | tags: grant sanderson, math proofs, motivated explanation

2.

I Vibed a Proof of Conway's Conjecture (news.ycombinator.com)

2026-09-18 | tags: conway's conjecture, surreal numbers, lean proof

3.

Making the AI Math Work (feeds.content.dowjones.io)

2026-09-18 | get TI-Nspire CX II CAS graphing calculator → | tags: ai math, artificial intelligence, machine learning

4.

OpenAI Reportedly Trying to Solve Hodge Conjecture Amid Feud With Math Community (gizmodo.com)

2026-09-18 | get The Millennium Problems Keith Devlin book → | tags: openai, hodge conjecture, math community

5.

AI Is Powerful Enough to Crack Our Hardest Math Problems—and Kill Us All (feeds.content.dowjones.io)

2026-09-12 | get The Millennium Problems Keith Devlin book → | tags: millennium prize, math problems, ai safety

6.

Bad benchmarks and evals: Senior SWE-Bench, napkin math, and winter tires (news.ycombinator.com)

2026-09-11 | get Bridgestone Blizzak WS90 winter tire → | tags: swe-bench, napkin math, benchmarks

7.

More questions about whether researchers can trust OpenAI with unpublished math (news.ycombinator.com)

2026-09-10 | get Moleskine squared grid notebook large → | tags: openai, unpublished math, researchers

8.

How An AI math breakthrough ignited a controversy (news.ycombinator.com)

2026-09-09 | get Rubik's Cube 3x3 → | tags: ai math, breakthrough, breakthrough ignited

9.

Phone tutoring boosts math scores when schools are forced to close (feeds.nature.com)

2026-09-09 | by Thompson | get Casio fx-300ES PLUS scientific calculator → | tags: phone tutoring, math scores, school closures

10.

Tao: Open math problems being non-renewably mined by AI (news.ycombinator.com)

2026-09-08 | get Princeton Companion to Mathematics → | tags: terence tao, math problems, open problems

11.

In the age of AI, is math the new CS degree? (feeds.feedburner.com)

2026-08-29 | get Mathematics for Machine Learning book → | tags: computer science, artificial intelligence, math degree

12.

This Brain Teaser Lied to Players for 3 Years, and Math Finally Caught It (gizmodo.com)

2026-08-27 | get ThinkFun Rush Hour logic puzzle game → | tags: brain teaser, math, players

13.

These 60-sided dice never have to be rolled twice (feeds.feedburner.com)

2026-08-27 | get 60 sided dice d60 → | tags: dice, math sculpture, probability

14.

How Will AI Change the Field of Mathematics? (slashdot.org)

2026-08-22 | by Posted | tags: mathematics, openai, verge

15.

Does Using AI to Edit an Op-Ed on Students' Math Skills Undermine the Argument? (slashdot.org)

2026-08-20 | tags: op-ed, students, math skills

16.

Welcome to the AI crisis in math (theverge.com)

2026-08-20 | by Nilay Patel | tags: openai, math, artificial intelligence

17.

Palomar: A registry of Lean verified mathematics (news.ycombinator.com)

2026-08-19 | by Terence Tao | tags: lean proof assistant, palomar registry, github repositories

18.

Duolingo Expands Its Math Services for More Advanced and Personalized Learning (cnet.com)

2026-08-17 | by Macy Meyer | tags: duolingo, math, education

19.

AI Just Had Another Math Breakthrough—With Help From a High-School Dropout (feeds.content.dowjones.io)

2026-08-15 | tags: math, high-school dropout, breakthrough

20.

AI Was Terrified of Math. Then a High-School Dropout Said: ‘Believe in Yourself.’ (feeds.content.dowjones.io)

2026-08-15 | tags: math, openai, superhuman

21.

An Infamous Math Problem Broke AI—Until a High-School Dropout Said ‘You Got This’ (feeds.content.dowjones.io)

2026-08-15 | tags: math, high-school dropout, models

22.

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

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

23.

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

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

24.

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

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

25.

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

26.

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

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

27.

Mathematics Without Mathematicians (news.ycombinator.com)

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

28.

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

29.

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

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

30.

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

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