nowfound

AI · September 15, 2026

IS

I solved a 12yr math problem using AI (formalized; awaiting review) [pdf]

I solved a 12yr math problem using AI (formalized; awaiting review) [pdf] launched on September 15, 2026 with 5 votes, #1,325 of 8,097 launches that month and more than 75% of that year's launches.

Visit raw.githubusercontent.com ↗Alternativestop 16% of September 2026

What it does

��oA RB�D�f T���>�O�`�v��:�/5��j������ ��'�}t�/`R2P>%���՟���9��A��9_�%� �����,�Ȇ�l��\`K�dRޙ�I��[*���� *���*��I"3 �`��̘�r`�N�)���eQ�`OX������T`F��'~��E���ߓFQ�M ��ZdCy���^# ��T����*:��66U9d���iW��p#�aq�F��F�R݊S,����Į*r ���-�mgF�&�唬��ir֦ə�G$͔�x$Ӵ�AE(L��&6D�Tp�D�A@]�Q�ϲBQ� �]��z�� =)J�9E-Я(aq��� �r:׹4�[M}o�H}\���)�S��~�X��`��6��y�pj�;��q=v����� n�Rh��}v~x0��$� �9��~Xh�0 �M�z�ʨ!� ��}|�@��Bt�\W].�(s]��c|�d�X* �9�P���O������mPEC-l�Ƌ���)4ݑDa�0,��z{ (���� t� :��f��� `� wl�j�pI�C�Lj6�S��W�kv� b�Մ�/�z d��0�. K�$��,�&���+����X�;��y�W�áޭ���nrf�c�R� �F�q$�…from raw.githubusercontent.com

Does a similar job

all alternatives →

More ai this month

the category →
  • Video model that turns script into viral social media videos

    AI · 17d ago · spira.ai

  • The browser where Claude Code and Codex work beside you

    AI · 16d ago · rill.love

  • Kolibri is Aleph Alpha

    AI · 18d ago · tej.as

  • Paintings by AI models: programs run through a simulation of oil paint.

    AI · 20d ago · stillwet.art

  • Onepin▲384

    AI voiceover with every name, price and date said right

    AI · 30d ago · onepin.ai

  • A real-time world model you can explore and change

    AI · 28d ago · world.pixverse.video

Launched alongside, September 2026

the whole month →
  • E-ink bird frame for Raspberry Pi - real-time bird detection by audio, fully local AI, rendered as real, hand-cut 1800s bird illustrations. - arnegiacomo/fugleramme

    AI · Sep 2026 · github.com

  • WI

    Special relativity simulator in which light crawls along at a human speed, so Lorentz contraction, aberration and Doppler shift happen at walking pace.

    Life & fun · Sep 2026 · rivendell.dmitrybrant.com

  • Jev▲544

    Fast, structured AI decisions for software automation

    AI · Sep 2026 · console.typesafe.ai

  • ReSO AI▲510

    Get discovered & recommended when customers ask AI

    AI · Sep 2026 · resollm.ai

  • Start coding agents, control sessions, review PRs. Anywhere.

    Dev tools · Sep 2026 · kilo.ai

  • AINA▲497

    Find your job search blind spots with an AI coach

    AI · Sep 2026 · aina-tech.io