GoKawiil - Tech News

1.

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

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

2.

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

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

3.

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

4.

Human mathematicians are being outcounterexampled (news.ycombinator.com)

2026-07-20 | by View All Posts Xenaproject | tags: lean, erdos conjecture, golod shafarevich

5.

US Life Expectancy On Track To Reach Record High (slashdot.org)

2026-07-03 | tags: cdc, life expectancy, overdose deaths

6.

Video Shows Police Drone Use a Magnet to Disarm Overdosing Suspect, Cops Take Victory Lap (gizmodo.com)

2026-06-25 | get Police Drone Magnet Kit → | tags: police drone, magnet disarm, overdosing suspect

7.

AI cracks 80-year-old mathematics challenge — researchers are astonished (feeds.nature.com)

2026-05-22 | by Castelvecchi | get Mathematics Puzzle Book → | tags: openai, ai chatbot, algebraic number theory

8.

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

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

9.

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

10.

‘It is incredible’: How AI is transforming mathematics (feeds.nature.com)

2026-05-19 | by Castelvecchi | get AI Math Learning Kit → | tags: chatgpt, erdos problem, stanford university

11.

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

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

12.

Man Gets Horrific Case of Diarrhea After Overdosing on Experimental GLP-1 (gizmodo.com)

2026-05-06 | get GLP-1 Receptor Agonist Medication → | tags: glp-1, experimental drug, diarrhea

13.

Man Gets World’s Worst Diarrhea After Overdosing on Experimental GLP-1 (gizmodo.com)

2026-05-06 | get GLP-1 receptor agonist medication → | tags: glp-1, experimental drug, diarrhea

14.

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

15.

Amateur armed with ChatGPT solves an Erdős problem (news.ycombinator.com)

2026-04-25 | by Joseph Howlett | get ChatGPT for Math Assistance → | tags: chatgpt, erdos problems, openai

16.

I tried CuerdOS and this niche Debian distro is dramatically fast (zdnet.com)

2026-04-09 | by Jack Wallen | get CuerdOS Linux Distribution → | tags: cuerdos, debian, gnome

17.

I tested CuerdOS and its unique app lineup is even better than its blazing speed (zdnet.com)

2026-04-09 | by Jack Wallen | get CuerdOS Custom Keyboard → | tags: cuerdos, debian, gnome

18.

HigherDose Red Light Shower Filter Review (2026): Filter Needed (wired.com)

2026-03-19 | by Matthew Korfhage | get Red Light Therapy Shower Head → | tags: red light therapy, higherdose, shower filter

19.

HigherDose Red Light Hat Review: Scalp Savior (2026) (wired.com)

2026-01-30 | by Nena Farrell | get LED Helmet → | tags: hair, higherdose, light

20.

AI Models Are Starting To Crack High-Level Math Problems (slashdot.org)

2026-01-15 | get Mathematica → | tags: erdos, problems, push

21.

Fentanyl Overdose Deaths Are Now Falling Sharply, and You’ll Never Guess Why (futurism.com)

2026-01-09 | by Victor Tangermann | tags: deaths, drug, fentanyl

22.

Crypto Company Creates Bizarre Drug (futurism.com)

2025-11-22 | by Joe Wilkins | tags: blockchain, canton, drug

23.

The Fourth Wave: How Speedballing Is Creating a New Kind of Drug Crisis (gizmodo.com)

2025-10-31 | by Andrew Yockey | get The Power of Habit book → | tags: fentanyl, opioid, overdose