GoKawiil - Tech News

31.

An OpenAI model solved a famous math problem that stumped humans for 80 years (arstechnica.com)

2026-06-01 | get AI Math Problem Solver → | tags: openai, erdős conjecture, ai mathematics

32.

Sum-product, unit distances, and number fields (news.ycombinator.com)

2026-06-01 | get Mathematics Puzzle Book → | tags: approx, mathcal, number

33.

Tokenmaxxing Maxes Out (feeds.content.dowjones.io)

2026-05-31 | get Tokenmaxxing Maxes Out Guide → | tags: tokenmaxxing, brockmans, math problem

34.

A pictorial introduction to differential geometry (2017) (news.ycombinator.com)

2026-05-31 | get Differential Geometry Book → | tags: differential geometry, pictorial introduction, 2017

35.

A Famous Math Problem Stumped Humans for 80 Years. AI Just Cracked It. (feeds.content.dowjones.io)

2026-05-30 | get Mathematics Puzzle Book → | tags: erdős problem, math, humans

36.

Various LLM Smells (news.ycombinator.com)

2026-05-28 | get AI Language Model Scented Candle → | tags: llm, ai-smell, alphaevolve

37.

ATLAS: Autoformalized Textbook Library At Scale (news.ycombinator.com)

2026-05-28 | get Automated Formal Logic Textbook → | tags: lean 4, atlas, autoformalization

38.

Citing 'severe' math deficits, UC faculty demand a return to SAT tests for STEM (news.ycombinator.com)

2026-05-28 | by Staff Writer | get SAT Math Prep Book → | tags: uc berkeley, sat, act

39.

Math-to-Manim (news.ycombinator.com)

2026-05-27 | get Manim Community Edition → | tags: manim, huging face, deepseek

40.

The Global Population Could Crash by 2064, New Model Suggests (gizmodo.com)

2026-05-26 | get Population Data Analytics Software → | tags: population, mathematical model, 2064

41.

Mathematical Patterns in African American HAIRSTYLEs (news.ycombinator.com)

2026-05-24 | tags: african american hairstyles, ethnomathematics, beehive pattern

42.

Alexander Grothendieck Revolutionized 20th-Century Mathematics (news.ycombinator.com)

2026-05-24 | by Konstantin Kakaes | get Grothendieck Mathematical Art Print → | tags: grothendieck, mathematics, paris

43.

Cleve Moler has died (news.ycombinator.com)

2026-05-22 | tags: mathworks, matlab, linpack

44.

OpenAI Claims It Solved an 80-Year-Old Math Problem (slashdot.org)

2026-05-21 | get Mathematics Puzzle Book → | tags: openai, erdos, gpt-5

45.

OpenAI claims it solved an 80-year-old math problem — for real this time (techcrunch.com)

2026-05-20 | by Rebecca Bellan | tags: openai, erdos problems, ai model

46.

Fast Factorial Algorithms (news.ycombinator.com)

2026-05-20 | by Peter Luschny | get Fast Factorial Algorithms Book → | tags: primeswing, factorial algorithms, prime factorization

47.

What Do Gödel's Incompleteness Theorems Mean? (news.ycombinator.com)

2026-05-18 | by Natalie Wolchover | get Gödel's Incompleteness Puzzle Book → | tags: gödel's incompleteness theorems, kurt gödel, formal systems

48.

Étienne Ghys: The Shape of Letters: From Leonardo da Vinci to Donald Knuth (news.ycombinator.com)

2026-05-18 | get Mathematics Art Book → | tags: leonardo da vinci, étienne ghys, donald knuth

49.

Math Jokes in Alice in Wonderland (news.ycombinator.com)

2026-05-14 | get Alice in Wonderland Math Puzzle Book → | tags: alice in wonderland, charles lutwidge dodgson, mathematics

50.

White matter micro- and macrostructure brain charts for the human lifespan (feeds.nature.com)

2026-05-13 | by Kim | get Brain Anatomy Chart Poster → | tags: brain, features, gamma

51.

What's a mathematician to do? (2010) (news.ycombinator.com)

2026-05-10 | get Mathematician's Notebook Set → | tags: poincaré conjecture, mathematical understanding, human minds

52.

What's a Mathematician to Do? (news.ycombinator.com)

2026-05-10 | get Mathematician's Notebook Set → | tags: fermat's last theorem, poincaré conjecture, mathematics

53.

Why Humans Are Obsessed With Numbers Too Big to Understand (gizmodo.com)

2026-05-09 | get Large Number Visualization Book → | tags: richard elwes, ginormous numbers, mathematics

54.

A recent experience with ChatGPT 5.5 Pro (news.ycombinator.com)

2026-05-09 | tags: chatgpt 5.5 pro, large language models, erdos problems

55.

When is your birthday? The math behind hash collisions (news.ycombinator.com)

2026-05-08 | by Math Behind Security | get Hash Collision Debugger Tool → | tags: birthday paradox, hash collisions, probability

56.

2-D Mathematical Curves (news.ycombinator.com)

2026-05-05 | by Jan Wassenaar | get Mathematics 3D Curve Model → | tags: mathematical curves, two-dimensional, full-text search

57.

How Many Children Learned Mathematics from Kiselev's Textbooks? (news.ycombinator.com)

2026-05-04 | get Kiselev's Mathematics Textbook → | tags: kiselev, mathematics, textbooks

58.

An Amateur Just Solved a 60-Year-Old Math Problem - by Asking AI (slashdot.org)

2026-05-02 | by Posted | get AI Math Problem Solver Kit → | tags: erdos problems, chatgpt, mathematics

59.

Mathematicians Claim Significant Discovery Using ChatGPT (futurism.com)

2026-05-02 | by Frank Landymore | get ChatGPT Mathematics Puzzle Book → | tags: chatgpt, erdős problems, terence tao

60.

Ti-84 Evo (news.ycombinator.com)

2026-05-01 | get TI-84 Plus CE Graphing Calculator → | tags: ti-84, calculator, math