A Summary of New Results in Mathematics Obtained with Argonne's Automated Deduction Software
*This page covers work up through 1995.
http://www.mcs.anl.gov/research/projects/AR/new_results/
Post #353
211
- Oct 8, 2026https://amitzalcher.github.io/Brain-IT/ Brain-IT: Image Reconstruction from fMRI via Brain…
- Oct 6, 2026https://fixupx.com/capacitanas/status/2107153559427145785?s=46
- Sep 30, 2026i started doing exactly this (models editing its own context) as a natural extension of sa…
- Sep 28, 2026cursed font factory https://bastardica.mitpit.com/
- Sep 25, 2026um, ahem, AlphaZero for text. Training language models without language. Loosely, natural…
- Sep 23, 2026umm ahem if you don't try to rein in new opus(5.5) you get one more qualitative step in ca…