Hacker News: mrabcx

New comment by mrabcx in "Amateur armed with ChatGPT solves an Erdős problem"

mrabcx — Sun, 26 Apr 2026 15:09:39 +0000

No, they do not seem to he equivalent. Not a mathmatician but running the Deepseek proof through ChatGPT gives:

"If everything is made rigorous:

You would have a valid independent proof It would contain real structural insight It would not replace the flow proof as the “best” proof

But:

It would still be a meaningful alternative proof with explanatory power, not just a redundant one."

New comment by mrabcx in "Amateur armed with ChatGPT solves an Erdős problem"

mrabcx — Sun, 26 Apr 2026 12:03:30 +0000

Tried the same prompt in DeepSeek 4

https://chat.deepseek.com/share/nyuz0vvy2unfbb97fv

Comes up with a proof.

New comment by mrabcx in "Amateur armed with ChatGPT solves an Erdős problem"

mrabcx — Sun, 26 Apr 2026 10:31:06 +0000

Can the other AI agents such as Gemini, Calude or Deepseek etc also solve this problem?

New comment by mrabcx in "France Aiming to Replace Zoom, Google Meet, Microsoft Teams, etc."

mrabcx — Mon, 26 Jan 2026 18:09:19 +0000

Even during president Obama. the US spied on Merkel's mobile phone.

New comment by mrabcx in "Lithium-sulfur battery retains 80% charge capacity after 25,000 cycles"

mrabcx — Fri, 21 Feb 2025 19:40:12 +0000

"lithium-ion batteries .. degrade after just 1,000 cycles" If you charge your car battery twice a week and complete a full cycle then we are still talking about like 9 years to reach 1000 cycles. If you charge your phone every day, and do a full cycle, then we are close to 2.7 years. But you will probably not do a full cycle. So, I guess lithium-ion batteries are not really that bad.

New comment by mrabcx in "Norway's wealth fund now worth $319,900 per citizen"

mrabcx — Sat, 01 Feb 2025 08:43:23 +0000

Norway as a state may be rich. but the state is also very afraid of spending too much money within the country as not to drive up inflation, salaries etc. In Norway the school children do not even get free/hot lunches (compared to e.g. Sweden).

New comment by mrabcx in "A Clone of Deluxe Paint II Written in Python"

mrabcx — Fri, 26 Jul 2024 05:02:40 +0000

There was a version of this even for the Atari ST.

New comment by mrabcx in "This USB flash drive can only store 8KB of data, but will last you 200 years"

mrabcx — Mon, 20 May 2024 12:10:39 +0000

200 years, will "computers" then even have a usb interface?

Ancient Humans Studied–and Predicted–Solar Eclipses

mrabcx — Tue, 09 Apr 2024 07:22:18 +0000

Article URL: https://www.scientificamerican.com/article/how-ancient-humans-studied-and-predicted-solar-eclipses/

Comments URL: https://news.ycombinator.com/item?id=39976930

Points: 2

# Comments: 0

New comment by mrabcx in "Farmed salmon production leads to an overall loss of essential dietary nutrients"

mrabcx — Sat, 06 Apr 2024 14:25:35 +0000

Vegan diets are prone to vitamin B12 deficiencies. Same with vitamin D.

New comment by mrabcx in "JAL A359 at Tokyo collided with Coast Guard DH8C on runway and burst into flames"

mrabcx — Tue, 02 Jan 2024 13:03:54 +0000

According to Flightradar24, https://twitter.com/flightradar24/status/1742136715253313938, the Japanese coast guard aircraft was not equipped with a ADS-B transponder. Probably because it's not a requirement for military aircraft. That can explain why the ATC and/or JAL was not aware of the exact location of the plane.

New comment by mrabcx in "Can a Passenger Hack an Airplane?"

mrabcx — Sun, 26 Nov 2023 11:57:30 +0000

The passenger entertainment system typically displays some information related to flight location, speed, altitude, ETA and so on. Where does that info come from ? If it does come from the "Aircraft Control Domain, or ACD" then these two systems are probably not "completely isolated" as claimed in the article?

New comment by mrabcx in "What researchers found when they tested Fiji Water against tap water"

mrabcx — Tue, 14 Nov 2023 15:40:18 +0000

Generally, tap water in the US doesn't have a pleasant taste, often accompanied by a strong chlorine odor. It's therefore understandable why many people opt for bottled water. Improving filtration or treatment methods seems like the best solution to cut down on the number of bottles.

New comment by mrabcx in "In 1886, the US commissioned watercolor paintings of every known fruit (2019)"

mrabcx — Fri, 03 Nov 2023 08:16:08 +0000

Seems to have missed out on durian.

New comment by mrabcx in "Slack's Google Drive App can share your private Docs and Drive files"

mrabcx — Thu, 12 Oct 2023 10:50:52 +0000

Everyone should have realized by now that online services can not guarantee any level of security.

New comment by mrabcx in "Breakfast cereal is in long-term decline"

mrabcx — Sun, 17 Sep 2023 13:14:50 +0000

Just skip breakfast and do intermittent fasting.

New comment by mrabcx in "Da Vinci robot surgeon removes inoperable tumor, saving patient’s life"

mrabcx — Sun, 03 Sep 2023 17:40:29 +0000

How could it be inoperable if a human controlled robot managed to remove it?

New comment by mrabcx in "Ask HN: Why is LK-99 public?"

mrabcx — Wed, 02 Aug 2023 11:49:09 +0000

The Wikipedia page lists the publication history, https://en.wikipedia.org/wiki/LK-99#Publication_history and the initial paper and patent history go back to 2020.

New comment by mrabcx in "Chicago95 – Windows 95 Theme for Linux"

mrabcx — Sun, 30 Jul 2023 10:58:53 +0000

Some of these old style themes are interesting for nostalgic reasons but then after a while you do realize that there are reasons why the world has moved on.

New comment by mrabcx in "Aspartame sweetener to be declared possible cancer risk by WHO, say reports"

mrabcx — Thu, 29 Jun 2023 17:06:55 +0000

Perhaps this will finally increase the popularity of Stevia.