Air Katakana (@airkatakana) / X

Air Katakana

24.2K posts

Air Katakana

@airkatakana

my autistic special interests include AI, fighting for democracy in korea, and building @sottaku_app language learning app

EN/JP

Joined March 2015

Pinned
Air Katakana
@airkatakana
Jul 29
[MY LIFE IS IN DANGER] korean prosecutors have indicted me on "false facts defamation" charges for posting on x the statements are PROVABLY TRUE but police and prosecutors have BLOCKED THE INVESTIGATION THAT WOULD SHOW IT i need YOUR HELP to make it happen:
Made with AI
Air Katakana
@airkatakana
36m
i did this using more or less the same method i used to make a mathematics harness to solve p ?= np people who thought i was wasting my time in shambles. im at the very least better at prompting now
Sottaku: Learn Languages
@sottaku_app
41m
using gpt-5.6 pro, sottaku has identified and patched 4 critical security vulnerabilities logs indicate that these vulnerabilities had never been used by anyone. the vulnerabilities were patched immediately upon discovery and are no longer exploitable as a result of this patch,
Air Katakana
@airkatakana
1h
i have filed an official complaint against the two public servants in korea's "anti-corruption and civil rights commission" min ho-jun (민호준) and son-insun (손인순) who refused to re-open my anti-corruption report on grounds that were wholly unrelated to the report itself
Air Katakana
@airkatakana
Jul 29
Replying to @airkatakana
similarly, the matter was brought before the anti-corruption & civil rights commission with ALL above evidence attached the anti-corruption & civil rights commission closed the case because they claimed that a LABOR BOARD ruled against me at some point
Air Katakana
@airkatakana
15h
“but air, how did you recognize that frontier llms had so much potential to solve mathematics problems” well, i drew a graph with time on the x axis (linear) and intelligence on the y axis (log scale) and then i drew a straight line up and to the right
Air Katakana
@airkatakana
Jul 25
yes, i have unironically been working on p = np with chatgpt as a “layman” for almost a week now no, i do not actually expect it to get all the way (but maybe) but we are in waters so uncharted that no one knows with certainty if something like this is possible or not
Air Katakana
@airkatakana
16h
i can’t believe openai destroyed all of the books in the library of babel just to get these so-called “novel proofs” in astra’s training data