@_monotau

creative coding

Joined January 2022
  • Tweets957
  • Following878
  • Followers3.9K
129Media
After a long back and forth, GPT-5.6 Sol produced a proof (formally verified in Lean) of the following Ramsey number inequality: R(k+1,s+1) >= R(k,s)+2k+2s for 5<=k<=s. As a consequence, this also establishes a new lower bound R(12,12) >= 1641.
23
60
10
621
101,179
more replies
GPT-5.6 Sol in Codex generalized the construction into a proof. GPT-5.6 Pro then improved the argument and sketched the Lean flow for Codex implementation. I used Fable 5 to audit each step. On reexamination of the finished proof, I asked Pro to try to squeeze out one extra vertex. The process was repeated until the new proof was formalized. Full proof, notes, and code: github.com/milostatarevic/ra…

GitHub - milostatarevic/ramsey-increment-theorem: A constructive proof of R(k+1,s+1) >= R(k,s)+2k...

A constructive proof of R(k+1,s+1) >= R(k,s)+2k+2s for 5<=k<=s - milostatarevic/ramsey-increment-theorem

github.com
1
1
1
35
5,096
Further improvements may be possible. My main takeaway is that once the models have the full context of a problem, they become extremely powerful. Building the proper context was most of the work.
1
42
3,686
Javascript + GLSL, no libraries
21
44
3
729
22,538
Pathtraced a scene from Cradle. Pure code. No libraries.
15
24
1
265
84,362
Iron threads. Made with code, rendered in the browser.
4
26
156
5,194
#genuary1 - particles, lots of them. playing with some outputs from @arsiliath's particle system.
2
25
1
111
4,194
good morning #genartclub
10
13
102
5,758
4
26
159
6,451
Gehry vibes through cellular automata. #genartclub #glsl
1
17
69
3,140
path-traced voxels. applied interpolation to get the smooth metallic look. #genartclub #glsl
6
13
101
4,128
detail
3
12
73
2,144
10
76
2,560
9
39
1
203
9,185
a slightly different touch #genartclub
5
9
70
2,941
experimenting #genartclub #glsl
2
7
1
80
2,317
#genartclub #glsl
3
10
76
2,163
Created with Universal Rayhatcher by @piterpasma Mint #332 #rayhatching #genartclub #fxhash
4
6
69
2,613
An impressive capture by @alprdurmaz. The emerging patterns in this one are truly captivating. #genartclub #fxhash
1
1
43
1,405
Load more