Counterexamples to Hironaka's Characteristic- Resolution: A Report On Queries to Frontier Agents
Source files
root filehironaka-char-p-counterexamples.tex · root file130 KiB · SHA-256 376be47d70ab966c… · view textancillaryanc/ai-provenance/MANIFEST.txt3 KiB · SHA-256 2333611963e40690… · view textancillaryanc/ai-provenance/frontier-dump--ai-usage.md.txt7 KiB · SHA-256 b9e1c2580588526d… · view textancillaryanc/ai-provenance/frontier-dump--math-audit.md.txt39 KiB · SHA-256 4f67f37efe5f03ae… · view textancillaryanc/ai-provenance/frontier-dump--report.md.txt36 KiB · SHA-256 a8832ba8f825316e… · view textancillaryanc/ai-provenance/frontier-dump--search_constant_ridge.out.txt50 B · SHA-256 4c1141f2df0d92eb… · view textancillaryanc/ai-provenance/frontier-dump--search_constant_ridge.py.txt4 KiB · SHA-256 2582449294967936… · view textancillaryanc/ai-provenance/frontier-dump--search_constant_ridge2.out.txt8 B · SHA-256 51aa0e5777ce5c5f… · view textancillaryanc/ai-provenance/frontier-dump--search_constant_ridge2.py.txt4 KiB · SHA-256 63eee0bc5d0c6036… · view textancillaryanc/ai-provenance/frontier-dump--tokens.md.txt2 KiB · SHA-256 e3298af136b2ee7d… · view textancillaryanc/ai-provenance/frontier-dump--verify-output.txt.txt4 KiB · SHA-256 334fe975c8b4631e… · view textancillaryanc/ai-provenance/frontier-dump--verify.sage.txt13 KiB · SHA-256 278bf32a69633eeb… · view textancillaryanc/ai-provenance/harvest-checks--followup_all_p.out.txt5 KiB · SHA-256 d0a0754dd5435ce8… · view textancillaryanc/ai-provenance/harvest-checks--followup_all_p.sage.txt5 KiB · SHA-256 0aba77425368a224… · view textancillaryanc/ai-provenance/harvest-checks--integral_closure_check.out.txt524 B · SHA-256 76adc2f3ebc3b158… · view textancillaryanc/ai-provenance/harvest-checks--integral_closure_check.sage.txt818 B · SHA-256 fa8d260055bd5789… · view textancillaryanc/ai-provenance/harvest-checks--kangaroo_narasimhan_check.out.txt531 B · SHA-256 c19dae15f3c5c39c… · view textancillaryanc/ai-provenance/harvest-checks--kangaroo_narasimhan_check.sage.txt2 KiB · SHA-256 d599de8056424266… · view textauxiliary filereferences.bib5 KiB · SHA-256 8d655e0f60a4d3dd… · view text